Deduktionssysteme Automatisierung d. log. Denkens
Uloženo v:
| Další autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | němčina |
| Vydáno: |
München, Wien
Oldenbourg
1987
|
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Popis jednotky: | 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. |
|---|---|
| Fyzický popis: | VI, 179 S. mit 68 Abb. u. 8 Tab. 8° |