Deduktion. Automatisierung der Logik /

Salvato in:
Dettagli Bibliografici
Autori principali: Bibel, Wolfgang (Autore), Hölldobler, Steffen (Autore)
Natura: Libro
Lingua:tedesco
Pubblicazione: München : Oldenbourg Verlag, 1992
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

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