Handbuch der Informatik : [die umfassende Darstellung der Informatik in Einzelbänden] / hrsg. von Albert Endres ..., Künstliche Intelligenz ; Bd. 6: Deduktion : Automatisierung der Logik (German)
- New search for: Bibel, Wolfgang
- New search for: Hölldobler, Steffen
- Further information on Hölldobler, Steffen:
- http://d-nb.info/gnd/140349375
- New search for: Endres, Albert
- New search for: Bibel, Wolfgang
- New search for: Hölldobler, Steffen
- Further information on Hölldobler, Steffen:
- http://d-nb.info/gnd/140349375
- New search for: Endres, Albert
1992
-
ISBN:
- Book / Print
-
Title:Handbuch der Informatik : [die umfassende Darstellung der Informatik in Einzelbänden] / hrsg. von Albert Endres ..., Künstliche Intelligenz ; Bd. 6: Deduktion : Automatisierung der Logik
-
Contributors:
-
Publisher:
- New search for: Oldenbourg
-
Place of publication:München [u.a.]
-
Publication date:1992
-
Size:269 S.
-
Remarks:graph. Darst.
Literaturverz. S. 239 - 254 -
ISBN:
-
Type of media:Book
-
Type of material:Print
-
Language:German
-
Keywords:
-
Classification:
MSC: 03-01 / *68-01 / 03B22 / 03B35 / 68T15 Local classification TIB: inf 600 / mat 797 BKL: 54.71 Logikprogrammierung / 54.80 Angewandte Informatik / 54.33 Computerbewertung / 85.20 Betriebliche Information und Kommunikation / 31.10 Mathematische Logik, Mengenlehre / 52.72 Fertigungsautomatisierung / 85.35 Fertigung / 54.00 Informatik: Allgemeines -
Source: