LEADER 02982nam  22007213  450 
001 996483156703316
005 20240402170900.0
010   $a3-031-10769-1
035   $a(CKB)5850000000051411
035   $a(MiAaPQ)EBC7055695
035   $a(Au-PeEL)EBL7055695
035   $a(OCoLC)1338199767
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/91302
035   $a(PPN)263897265
035   $a(EXLCZ)995850000000051411
100   $a20220919d2022      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated reasoning $e11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /$feditors, Jasmin Blanchette, Laura Kova?cs, Dirk Pattinson
210   $aCham$cSpringer Nature$d2022
210  1$aCham :$cSpringer International Publishing AG,$d2022.
210  4$d©2022.
215   $a1 online resource (xv, 756 pages) $cillustrations (some color)
225 1 $aLecture notes in computer science$vv.13385
311 1 $a3-031-10768-3 
320   $aIncludes author index.
330   $aThis volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
410  0$aLecture notes in computer science$v13385.
606   $aAutomatic theorem proving$vCongresses
606   $aComputer logic$vCongresses
610   $aartificial intelligence
610   $aautomata theory
610   $acomputer hardware
610   $acomputer networks
610   $acomputer programming
610   $acomputer systems
610   $aembedded systems
610   $aformal languages
610   $aformal logic
610   $alogic programming
610   $anetwork protocols
610   $asemantics
610   $asoftware architecture
610   $asoftware design
610   $asoftware engineering
610   $atheoretical computer science
615  0$aAutomatic theorem proving
615  0$aComputer logic
676   $a006.333
700   $aBlanchette$b Jasmin$4edt$01255151
701   $aBlanchette$b Jasmin$01255151
701   $aKovács$b Laura$01250003
701   $aPattinson$b Dirk$f1970-$01255152
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996483156703316
996   $aAutomated reasoning$92910267
997   $aUNISA

LEADER 01390nam2 22003373i 450 
001 PUV0965902
005 20251003044316.0
010   $a2876471000
100   $a20080609e19921904||||0itac50      ba
101 | $afre
102   $afr
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aˆ1.1: ‰Arithmetique
210   $aSceaux$cJ. Gabay$d[1992]
215   $a616 col.$d18 x 25 cm
300   $aRipr. facs. dell'ed.: Paris : Gauthier-Villars ; Leipzig : B.G. Teubner, 1904-1909.
461  1$1001PUV0962188$12001 $aEncyclopédie des sciences mathématiques pures et appliquées$fpubliée sous les auspices des académies des sciences de Göttingue, de Leipzig, de Munich et de Vienne avec la collaboration de nombreux savants$v1.1
606   $aAritmetica$2FIR$3SBLC129926$9E
606   $aMatematica$xEnciclopedie e dizionari$2FIR$3SBLC092649$9E
676   $a510$9MATEMATICA$v14
676   $a513$9Aritmetica$v14
696   $aDizionari$aEnciclopedie
699   $aEnciclopedie e dizionari$xDizionari$xEnciclopedie
801  3$aIT$bIT-000000$c20080609
850   $aIT-BN0095          
912   $aPUV0965902
950  2$aBiblioteca Centralizzata di Ateneo$cv. 1-8 in 22$d 01RIPR. FACSFr. A                   0020$e 0102 0000066685  VMA   (01.1               v. 1.1$fY $h20080609$i20080609
977   $a 01
996   $aArithmetique$9104102
997   $aUNISANNIO