LEADER 00744nam a22001813a 4500
001 991003660579707536
008 080529s                      000 0 eng d
035   $ab13731233-39ule_inst
040   $aDip.to Lingue$bita
100 1 $aTrevelyan, G. M.$0628568
245 10$aEnglish Social History :$bA Survey of Six Centuries, Chaucer to Queen Victoria /$cby G. M. Trevelyan
260   $aLondon :$bLongmans, Green and Co.,$c1948
907   $a.b13731233$b28-01-14$c29-05-08
912   $a991003660579707536
945   $aLE012 Fondo Commonwealth 2-3-25$g1$i2012000298569$lle012$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i14765433$z29-05-08
996   $aEnglish Social History$91230239
997   $aUNISALENTO
998   $ale012$b29-05-08$cm$da  $e-$feng$gxxk$h0$i0

LEADER 03205nam  22007575  450 
001 9910586623703321
005 20251226195125.0
010   $a3-319-24312-8
024 7 $a10.1007/978-3-319-24312-2
035   $a(CKB)4340000000001124
035   $a(SSID)ssj0001584879
035   $a(PQKBManifestationID)16264197
035   $a(PQKBTitleCode)TC0001584879
035   $a(PQKBWorkID)14865137
035   $a(PQKB)11643633
035   $a(DE-He213)978-3-319-24312-2
035   $a(MiAaPQ)EBC5586672
035   $a(PPN)190528540
035   $a(EXLCZ)994340000000001124
100   $a20150910d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods $e24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /$fedited by Hans De Nivelle
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XVI, 355 p. 70 illus. in color.)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9323
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-24311-X 
330   $aThis book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.  The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. .
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9323
606   $aArtificial intelligence
606   $aMachine theory
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aComputer science
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Science Logic and Foundations of Programming
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aComputer science.
615 14$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a006.3
702   $aNivelle$b Hans de$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910586623703321
996   $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460
997   $aUNINA