LEADER 02299nlm0 22006251i 450 
001 990009254430403321
010   $a9783540710677
035   $a000925443
035   $aFED01000925443
035   $a(Aleph)000925443FED01
035   $a000925443
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aTheorem Proving in Higher Order Logics$bRisorsa elettronica$e21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5170
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aMattern,$bFriedemann
702  1$aMitchell,$bJohn C.
702  1$aMohamed,$bOtmane Ait
702  1$aMuñoz,$bCésar
702  1$aNaor,$bMoni
702  1$aNierstrasz,$bOscar
702  1$aPandu Rangan,$bC.
702  1$aSteffen,$bBernhard
702  1$aSudan,$bMadhu
702  1$aTahar,$bSofiène
702  1$aTerzopoulos,$bDemetri
702  1$aTygar,$bDoug
702  1$aVardi,$bMoshe Y.
702  1$aWeikum,$bGerhard
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-71067-7
901   $aEB
912   $a990009254430403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogic Design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aTheorem Proving in Higher Order Logics$9772309
997   $aUNINA

LEADER 01428nam  2200373Ia 450 
001 996387179403316
005 20221108025106.0
035   $a(CKB)4940000000085236
035   $a(EEBO)2248546352
035   $a(OCoLC)9920324300971
035   $a(EXLCZ)994940000000085236
100   $a19950915d1636      uy             |
101 0 $aeng
135   $aurbn||||a|bb|
200 12$aA preparation to the receiuing of Christs body and bloud$b[electronic resource] $edirecting weake Christians how they may worthily receiue the same /$fby W. Bradshauu ; with a profitable treatise of the same argument, written by another
205   $aThe 10. edition corrected and inlarged.
210   $aLondon $cPrinted by I.B. for S.M.$d1636
215   $a[10], 107 [i.e. 214] p
300   $aPages numbered on recto only.
300   $aNumerous errors in paging.
300   $aSecond part has special t.p. with imprint: London, Printed by Iohn Beale, 1636.
300   $aSignatures: A-I¹², K¹¹.
300   $aReproduction of original in: Union Theological Seminary (New York, N.Y.). Library.
330   $aeebo-0160
606   $aLord's Supper
615  0$aLord's Supper.
700   $aBradshaw$b William$f1571-1618.$0694583
801  0$bEBK
801  1$bEBK
801  2$bWaOLN
906   $aBOOK
912   $a996387179403316
996   $aA preparation to the receiuing of Christs body and bloud$92305410
997   $aUNISA