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

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Richards, Tom
Formatua: Liburua
Hizkuntza:English
Argitaratua: Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., c1989.
Saila:International computer science series
Gaiak:

CARM 1 Store

Aleari buruzko argibideak CARM 1 Store
Sailkapena: A3:AR09F0 C11175
Alea 1 Eskuragarri  Erreserbatu