Automated Reasoning with Analytic Tableaux and Related Methods – International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
4 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning with Analytic Tableaux and Related Methods
Neil V. Murray
Springer Berlin Heidelberg
, 26.05.1999, TaschenbuchISBN: 3540660860
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning with Analytic Tableaux and Related Methods
Murray, Neil V.
Springer Berlin Heidelberg
, 1999, Kartoniert / BroschiertISBN: 3540660860
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning with Analytic Tableaux and Related Methods / International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings / Neil V. Murray / Taschenbuch / 1999
Murray, Neil V.
Springer Berlin
, 1999, TaschenbuchISBN: 3540660860
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning with Analytic Tableaux and Related Methods
Neil V. Murray
Springer Berlin Heidelberg, Springer Berlin Heidelberg
, 26.05.1999, TaschenbuchISBN: 3540660860
Neuware