Computation as logic

Main
Computers - Programming
Computation as logic

Computation as logic

Name: Computation as logic
ISBN: 9780137700097

Rene Lalement, John Plaice

0 / 0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity

Категории:

Computers - Programming

Година:

1993

Издателство:

Prentice Hall

Език:

english

Страници:

399

ISBN 10:

0137700091