01244nam0 2200289 i 450 SUN006339020151120101600.49805-213-9560-720080314d1987 |0engc50 baengGB|||| |||||Logic and computationinteractive proof with Cambridge LCFLawrence C. PaulsonCambridge [etc.]Cambridge university1987XIII, 302 p.26 cm.001SUN00500592001 Cambridge tracts in theoretical computer science2210 CambridgeCambridge university.68QxxTheory of computing [MSC 2020]MFSUNC01994968TxxArtificial intelligence [MSC 2020]MFSUNC02126603BxxGeneral logic [MSC 2020]MFSUNC024425CambridgeSUNL000024Paulson, Lawrence C.SUNV05039362096Cambridge universitySUNV000097650ITSOL20210222RICASUN0063390UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 3177 08OM 162 I 20080314 DeterioratoLogic and computation1416011UNICAMPANIA01644nam0 2200385 i 450 VAN005505420231213122141.70603-87960-02-320061102d1984 |0itac50 baengUS|||| |||||Variational inequalities and flow in porous mediaM. ChipotNew YorkSpringer1984vii, 118 p.24 cm001VAN00237172001 Applied mathematical sciences210 Berlin [etc]Springer5276-XXFluid mechanics [MSC 2020]VANC019858MF49J40Variational inequalities [MSC 2020]VANC020068MF76SxxFlows in porous media; filtration; seepage [MSC 2020]VANC023458MF35J20Variational methods for second-order elliptic equations [MSC 2020]VANC029094MFFlowsKW:KInequalitiesKW:KMechanicsKW:KPorous mediaKW:KVariational inequalityKW:KUSNew YorkVANL000011ChipotMichelVANV04362460207Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/chipot.pdfchipot.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055054BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 76-XX 0781 08 2103 I 20061102 Variational Inequalities and Flow in Porous Media346185UNICAMPANIA