LEADER 02895nam  22007455  450 
001 9910349426503321
005 20251225203744.0
010   $a9783319948218
010   $a3319948210
024 7 $a10.1007/978-3-319-94821-8
035   $a(CKB)3850000000034637
035   $a(DE-He213)978-3-319-94821-8
035   $a(MiAaPQ)EBC6286358
035   $a(PPN)229502407
035   $a(EXLCZ)993850000000034637
100   $a20180703d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aInteractive Theorem Proving $e9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /$fedited by Jeremy Avigad, Assia Mahboubi
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVII, 642 p. 103 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10895
311 08$a9783319948201 
311 08$a3319948202 
320   $aIncludes bibliographical references and index.
330   $aChapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10895
606   $aMachine theory
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aElectronic digital computers$xEvaluation
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSystem Performance and Evaluation
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aElectronic digital computers$xEvaluation.
615 14$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSystem Performance and Evaluation.
676   $a004.015113
702   $aAvigad$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMahboubi$b Assia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349426503321
996   $aInteractive Theorem Proving$92010767
997   $aUNINA