Das Buch ist derzeit nicht auf Lager

Automated reasoning with analytic tableaux and related methods

Autoren

Uwe Egly

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Automated reasoning with analytic tableaux and related methods, Uwe Egly

Sprache
Erscheinungsdatum: 2002

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden