Automation of reasoning, 2. CLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1967 - 1970
Berlin [u.a.]: Springer
Sammelwerk, Teil eines Werkes, keine Angabe
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automation of reasoning, 2. CLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1967 - 1970
|
---|---|
Verantwortlichkeitsangabe: | ed. by Jörg Siekmann .. |
Autor/in / Beteiligte Person: | Siekmann, Jörg |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer |
Medientyp: | Sammelwerk, Teil eines Werkes |
Datenträgertyp: | keine Angabe |
Sonstiges: |
|