Logos Verlag Berlin
– Academic Books for Science and Humanities
|
The Disconnection Calculus
Gernot Stenz
Stichworte/keywords: Logik , Theorembeweise , Tableauverfahren , Suchraumreduktion , Parallelosierung |
Logos Verlag Berlin GmbH, Comeniushof, Gubener Str. 47, D-10243 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092