Deduktionssysteme Automatisierung d. log. Denkens
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München, Wien
Oldenbourg
1987
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 183887 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 245 | 1 | 0 | |a Deduktionssysteme |b Automatisierung d. log. Denkens |
| 246 | 3 | |a DEDUKTIONSSYSTEME | |
| 264 | 1 | |a München, Wien |b Oldenbourg |c 1987 | |
| 300 | |a VI, 179 S. |b mit 68 Abb. u. 8 Tab. |c 8° | ||
| 500 | |a DEDUKTIONSSYSTEME -- Deduktionssysteme. Automatisierung d.log. -- Denkens. Hrsg.v.K(arl) H(ans) Bläsius u. -- H(ans)-J(ürgen) Bürckert. Mit Beitr.von ... -- Mit 68 Abb.u.8 Tab. - München,Wien:Oldenbourg -- 1987. VI,179 S. 8° -- 1987:6061. Fie. | ||
| 700 | 1 | |a Bläsius, Karl Hans |e Hrsg. | |
| 700 | 1 | |a Bürckert, Hans-Jürgen |e Hrsg. | |
| 852 | |c 434.894 | ||
| 999 | |a Monographie | ||
| 591 | |a description: DEDUKTIONSSYSTEMEDeduktionssysteme.Automatisierung d.log.Denkens . Hrsg . v . K arl H ans E31äsius u.H ans J ürgen EJürckert. Mit Beitr.von ...Mit 68 Abb.u.8 Tab. München,Wien:Oldenbourg1987. VI,179 S. 81987:6061. Fie. |a signature: 434.894 |a published: 1987 | ||