01249nam--2200373---450-99000177393020331620040621093334.03-540-40117-2000177393USA01000177393(ALEPH)000177393USA0100017739320040621d2003----km-y0itay0103----baengDEa|||||||001yyModel checking software10. International SPIN workshopPortland, Or, USA, May 9-10, 2003proceedingsThomas Ball, Sriram K. Rajamani (Eds.)Berlin [etc.]Springercopyr. 2003VIII, 239 p.ill.24 cm.Lecture notes in computer science26482001Lecture notes in computer science26482001001-------2001BALL,ThomasRAJAMANI,Sriram K.International SPIN workshop on model checking of software <10. ; 2003 ; Portland>563350ITsalbcISBD990001773930203316001 LNCS 264829501/CBS001 LNCS00113884BKSCIRIVELLI9020040621USA010933Model checking software952031UNISA02155nam 2200577 a 450 991077986920332120230725061607.03-11-031953-510.1515/9783110319538(CKB)2550000001097161(EBL)1215514(OCoLC)851972059(SSID)ssj0000801341(PQKBManifestationID)11427427(PQKBTitleCode)TC0000801341(PQKBWorkID)10789827(PQKB)10241598(MiAaPQ)EBC1215514(DE-B1597)210507(OCoLC)853206838(DE-B1597)9783110319538(Au-PeEL)EBL1215514(CaPaEBR)ebr10729097(CaONFJC)MIL503695(EXLCZ)99255000000109716120130812d2010 uy 0engur|n|---|||||txtccrFree will[electronic resource] an extensive bibliography /Nicholas Rescher ; with the collaboration of Estelle BurrisFrankfurt ;New Brunswick Ontos Verlag20101 online resource (326 p.)Description based upon print version of record.3-11-031916-0 1-299-72444-2 Includes bibliographical references. Frontmatter -- Contents -- INTRODUCTION -- Bibliography -- A-G -- H-M -- N-Z -- BackmatterFew philosophical issues have had as long and elaborate a history as the problem of free will, which has been contested at every stage of the history of the subject. The present work practices an extensive bibliography of this elaborate literature, listing some five thousand items ranging from classical antiquity to the present. Free will and determinismBibliographyFree will and determinismRescher Nicholas50144Burris Estelle1523571MiAaPQMiAaPQMiAaPQBOOK9910779869203321Free will3763837UNINA01013nam0 22002771i 450 UON0051827420231205105532.99720231011d2002 |0itac50 baitaIT|||| |||||ˆUna ‰vita incertaPeter Stammtraduzione di Francesca GimelliVicenzaN. Pozza[2002]174 p.22 cmNARRATIVA TEDESCAUONC084005FIITVicenzaUONL001247833Letteratura narrativa tedesca21STAMMPeterUONV178164604401GIMELLIFrancescaUONV292294Neri Pozza EditoreUONV252952650ITSOL20241220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00518274SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI F. Goethe 830 STA 4175 SI 46085 5 4175 Vita incerta3904453UNIOR