LEADER 01651nam2-2200433li-450 001 990000202370203316 005 20180312154707.0 010 $a3-540-64675-2 035 $a0020237 035 $aUSA010020237 035 $a(ALEPH)000020237USA01 035 $a0020237 100 $a2001999031998-------y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAutomated deduction - CADE-15$e15th International conference on automated deduction$eLindau, Germany, July 5-10, 1998$eproceedings$fClaude Kirchner ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1998 225 2 $aLecture notes in artificial intelligence$v1421 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$alindau$a1998 610 1 $aintelligenza artificiale$acongressi$a1998 610 1 $alogica matematica$acongressi$a1998 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aKirchner,$bClaude 710 12$aInternational conference on automated deduction$d15.$eLindau$f1998$0746497 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202370203316 951 $a006.3 LNAI (1421)$b0022638$c006.3$d00106750 959 $aBK 969 $aSCI 979 $c19990327 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010330$lUSA01$h1156 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 979 $aANGELA$b90$c20081201$lUSA01$h1323 996 $aAutomated deduction - CADE-15$91490086 997 $aUNISA LEADER 01885nam 2200397Ia 450 001 996387091103316 005 20200824132412.0 035 $a(CKB)4940000000083946 035 $a(EEBO)2240902597 035 $a(OCoLC)ocm22355417e 035 $a(OCoLC)22355417 035 $a(EXLCZ)994940000000083946 100 $a19900911d1633 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe seamans secrets$b[electronic resource] $edivided into two parts, wherein is taught the three kindes of sayling, horizontall, paradoxall, and sayling vpon a great circle : also an horizontall tyde-table for the easie finding of the ebbing and flowing of the tydes, with a regiment newly calculated for the finding of the declination of the sunne, and many other most necessary rules and instruments, not heeretofore set forth by any 205 $aNewly corrected and amended, and the fifth time imprinted. 210 $aLondon $cPrinted by Iohn Dauuson$d1633 215 $a[108] p., [1] folded leaf of plates $cill 300 $aSecond part has special t.p.: The second part of this treatise of navigation : wherein is taught the nature and most necessary vse of the globe, with the circles, zones, climates, and other distinctions, to the perfect vse of sayling. 300 $aDedication signed: Iohn Davis. 300 $aSignatures: A-H?, ²A-²E? ²F². 300 $aReproduction of original in the King's College (University of Cambridge). Library. 330 $aeebo-0075 606 $aNavigation$vEarly works to 1800 606 $aNautical instruments$vEarly works to 1800 615 0$aNavigation 615 0$aNautical instruments 700 $aDavis$b John$f1550?-1605.$0562709 801 0$bEBL 801 1$bEBL 801 2$bWaOLN 906 $aBOOK 912 $a996387091103316 996 $aThe seamans secrets$92355006 997 $aUNISA