Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003, proceedings

QR-koodi

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003, proceedings

Tallennettuna:
Ulkoasu
270 sivua
Kieli
englanti
Alkuteoksen kieli
englanti
Julkaisija Berlin : Springer cop. 2003.
Sarja Lecture notes in artificial intelligence, 2796.
Lecture notes in computer science, 2796.
Luokitus
Aiheet
Lisätiedot
Marta Cialdea Mayer, Fiora Pirri (Eds.)
ISBN
3-540-40787-1 nidottu