The Disconnection Calculus
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Gernot Stenz
Themen in »The Disconnection Calculus«
Logik Parallelisierung Parallelosierung Suchraumreduktion Tableauverfahren Theorembeweise
Stimmen zu »The Disconnection Calculus«
Details
ISBN: 9783832500702
Verlag: Logos Berlin
Erscheinung: 2002