 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 12  |
| ||
 |
Ihre Aktion | Suchen (Systematiken (XSYS)) 03C05 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Algebraic theory of quasivarieties Gorbunov, Viktor A.. - New York [u.a.] : Consultants Bureau, c 1998 |
|
| |||
 |
2. |
Admissibility of logical inference rules Rybakov, Vladimir Vladimir. - Online-Ausg.]. - Amsterdam : Elsevier, 1997 |
|
| |||
|
3. |
Admissibility of logical inference rules Rybakov, Vladimir V.. - Amsterdam [u.a.] : Elsevier, 1997 |
|
| |||
|
4. |
Automated Deduction in Equational Logic and Cubic Curves McCune, William *1953-2011*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996 |
|
| |||
|
5. |
Automated deduction in equational logic and cubic curves McCune, William *1953-2011*. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996 |
|
| |||
|
6. |
Automated deduction in equational logic and cubic curves McCune, William *1953-2011*. - Berlin : Springer, 1996 |
|
| |||
|
7. |
The combinatory programme Engeler, Erwin. - Boston [u.a.] : Birkhäuser, 1995 |
|
| |||
|
8. |
A proof theory for general unification Snyder, Wayne. - Boston : Birkhäuser, 1991 |
|
| |||
|
9. |
Algebraizable logics Blok, W. J.. - Providence, R.I. : American Mathematical Soc., 1989 |
|
| |||
|
10. |
The structure of decidable locally finite varieties MacKenzie, Ralph *1941-*. - Boston : Birkhäuser, 1989 |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 12 |
|
|
|
1 - 10 von 12 |
|
||||||||||||||||||||