|
 |
|
|
|
1 - 10 von 25
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 300.200
|
|
|
|
|
 |
1. |
Logik für Informatiker
/ Schöning, Uwe *1955-*. - 5. Auflage. - Heidelberg : Spektrum Akademischer Verlag, [2000]
|
|
|
|
2. |
Sweet reason : a field guide to modern logic
/ Tymoczko, Thomas. - New York : Springer, 2000
|
|
|
|
3. |
First-order logic and automated theorem proving
/ Fitting, Melvin *1942-*. - 2. ed. - New York : Springer, 1996
|
|
|
|
4. |
Relative complexities of first order calculi
/ Eder, Elmar *1956-*. - Braunschweig : Vieweg, 1992
|
|
|
|
5. |
Elementare formalisierte Logik
/ Seebohm, Thomas M. *1934-2014*. - Freiburg i. Br. : Alber, 1991
|
|
|
|
6. |
Logik für Software-Ingenieure
/ Matthiessen, Günter. - Berlin [u.a.] : de Gruyter, 1991
|
|
|
|
7. |
Logik für Informatiker
/ Schöning, Uwe *1955-*. - 2., überarb. Aufl. - Mannheim : BI-Wiss.-Verl., 1989
|
|
|
|
8. |
Zur linearen Strukturierung des natürlichen prädikatenlogischen Schließens in der positiven Minimallogik, der Minimallogik, der intuitionistischen und der klassischen Logik
/ Auge, Karlheinz. - Bochum, 1989
|
|
|
|
9. |
Matrix logic
/ Stern, August. - Amsterdam [u.a.] : North-Holland, 1988
|
|
|
|
10. |
Logik für Informatiker
/ Schöning, Uwe *1955-*. - Mannheim [u.a.] : BI-Wissenschaftsverl., 1987
|
|
|
|
|
|
|
1 - 10 von 25
|
|
|
|
|
1 - 10 von 25
|
|
|
