Deduktion. Automatisierung der Logik /
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Lenguaje: | alemán |
| Publicado: |
München :
Oldenbourg Verlag,
1992
|
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu31529 | ||
| 005 | 20150617225735.3 | ||
| 008 | 940104s1992----gw------------------ger-d | ||
| 020 | |a 3-486-20785-7 | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a ger | |
| 044 | |a gw | ||
| 080 | |a 168 | ||
| 080 | |a 681.3.06 | ||
| 100 | 1 | |a Bibel, Wolfgang |4 aut | |
| 245 | 1 | |a Deduktion. Automatisierung der Logik / |c [aut.] Bibel,Wolfgang; Hölldobler,Steffen | |
| 260 | |a München : |b Oldenbourg Verlag, |c 1992 | ||
| 300 | |a 269 s | ||
| 700 | 1 | |a Hölldobler, Steffen |4 aut | |
| 996 | |b J90100 |c J*90100 |l JJST |s P |a 0 |w stu31529_0001 | ||