Computability theory

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 211.47

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
Uiterlijk 30 januari in huis

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG. It also considers LISP programming language and shows its relation to the PROLOG type of language. Advanced first-degree and graduate students of computer science; researchers in computer science and logic.

• 1 Bekijk alle specificaties

Oorspronkelijke releasedatum: 16 april 1987

Aantal pagina's: 208

Hoofdauteur: Melvin Fitting

Hoofduitgeverij: Oxford University Press Inc

Verpakking breedte: 150 mm

Verpakking hoogte: 240 mm

Verpakking lengte: 240 mm

Verpakkingsgewicht: 505 g

EAN: 9780195036916

---