The logical basis for computer programming, 2. Deductive systems
Reading, Mass. [u.a.]: Addison-Wesley, 1990
Monographie, Teil eines Werkes, keine Angabe
- XIII, 642 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
The logical basis for computer programming, 2. Deductive systems
|
---|---|
Verantwortlichkeitsangabe: | Zohar Manna ; Richard Waldinger |
Autor/in / Beteiligte Person: | Manna, Zohar ; Waldinger, Richard |
Verwandtes Werk: | |
Veröffentlichung: | Reading, Mass. [u.a.]: Addison-Wesley, 1990 |
Medientyp: | Monographie, Teil eines Werkes |
Datenträgertyp: | keine Angabe |
Umfang: | XIII, 642 S. |
ISBN: | 0201182610 |
Schlagwort: |
|
Sonstiges: |
|