Deduction : automated logic

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
012095835X
Dimensions
24 cm
Extent
253 S.
Language
Englisch
Notes
graph. Darst.
Literaturverz. S. 223 - 239

Keyword
Deduktionssystem

Event
Veröffentlichung
(where)
London, San Diego, New York, Boston, Sydney, Tokyo, Toronto
(who)
Acad. Press
(when)
1993
Creator
Contributor
Bibel, Wolfgang

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:39 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 1993

Other Objects (12)