Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad
533 kr
AvJohn Perram,Jean-Pierre Müller
Del i serien Lecture Notes in Computer Science
549 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.