ENGLISH

Computation as logic

By Rene , Lalement

Book information

Publisher
Prentice Hall;Masson
Year
1993
ISBN
9-780137-700097, 0-13-770009-1
Language
english
Format
DJVU
Filesize
3 MB (2971917 bytes)
Series
Prentice Hall international series in computer science
Edition
Transferred to digital print on demand
Pages
387\401
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Logik.;Mathematische Logik.;Programmierung.

Description

Content: The syntactic landscape reduction first-order logic models equational logic resolution the computable landscape.

Similar books