Logic for computer science : foundations of automatic theorem proving

By:

Material type: Text

TextPublication details: Nueva York : John Wiley and Sons, c1987Edition: 1st edDescription: xv, 511 p. ; 21 cmISBN:

Subject(s):

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Libro	Biblioteca de la Facultad de Informática	F.4.1 GAL (Browse shelf(Opens below))	Available		DIF-00612

Click on an image to view it in the image viewer