Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

QR-kod

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Sparad:
Fysisk beskrivning
X, 270 pages online resource
Språk
engelska
Originalverkets språk
engelska
Utgivare Berlin, Heidelberg : Springer Berlin Heidelberg 2003.
Serie Lecture Notes in Computer Science, ISSN 0302-9743; 2796.
Ämnen
Mer information
edited by Marta Cialdea Mayer, Fiora Pirri
ISBN
9783540452065
Tillgång Luettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network
Anmärkningar
SpringerLink
Standardkoder
doi 10.1007/b12030