Programas Para Deducción Automatizada En Lógica Proposicional
by Antonio. Frias Delgado
| Publisher: | Universidad de Cádiz |
| Published In: | 1992 |
| ISBN-10: | 8477860823 |
| ISBN-13: | 9788477860822 |
| Weight: | 200 gms |
| Pages: | pp. 163, Illus. |
The Title "Programas Para Deducción Automatizada En Lógica Proposicional" is written by Antonio. Frias Delgado. This book was published in the year 1992. This book has total of pp. 163 (Pages). The publisher of this title is Universidad de Cádiz. Programas Para Deducción Automatizada En Lógica Proposicional is currently Not Available with us.You can enquire about this book and we will let you know the availability.