Clausal form logic : an introduction to the logic of computer reasoning /

Saved in:
Bibliografiske detaljer
Hovedforfatter: Richards, Tom
Format: Bog
Sprog:English
Udgivet: Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., c1989.
Serier:International computer science series
Fag:

CARM 1 Store

Detaljer om beholdninger fra CARM 1 Store
Klassifikationsnummer: A3:AR09F0 C11175
Kopi 1 Tilgængelig  Reservér”