Clausal Form Logic
An Introduction to the Logic of Computer Reasoning
Koop Tweedehands
Niet tweedehands beschikbaar.
Houd me op de hoogte!
Ontvang een e-mailbericht zodra dit boek weer tweedehands leverbaar is.
Koop NieuwWeb only
Niet nieuw beschikbaar.
Omschrijving
This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- Aantal Pagina's:359
-
Jaar:1989
-
Rubriek:
Andere titels op de plank Informatica
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.