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

QR-koodi

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

Tallennettuna:
Ulkoasu
X, 270 pages online resource
Kieli
englanti
Alkuteoksen kieli
englanti
Julkaisija Berlin, Heidelberg : Springer Berlin Heidelberg 2003.
Sarja Lecture Notes in Computer Science, ISSN 0302-9743; 2796.
Aiheet
Lisätiedot
edited by Marta Cialdea Mayer, Fiora Pirri
ISBN
9783540452065
Pääsy Luettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network
Huomautukset
SpringerLink
Standarditunnukset
doi 10.1007/b12030