Book serie: / Книги серии: Cambridge Tracts in Theoretical Computer Science Volume 12 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Cambridge Tracts in Theoretical Computer Science Volume 12

book Nonmonotonic Reasoning: Logical Foundations of Commonsense

Nonmonotonic Reasoning: Logical Foundations of Commonsense

djvu

Author: Gerhard Brewka
Language: English
Year: 1991

00

27.01.2024

0

0

book Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming

djvu

Author: G. E. Revesz
Language: English
Year: 1988

00

27.01.2024

0

0

book Proofs and Types

Proofs and Types

djvu

Author: Jean-Yves Girard Yves Lafont Paul Taylor
Language: English
Year: 1989

00

27.01.2024

0

0

book Proofs and Types

Proofs and Types

pdf

Author: Jean-Yves Girard Yves Lafont Paul Taylor
Language: English
Year: 2003

00

27.01.2024

0

0

book Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

djvu

Author: Ramsay A.M.
Language: English
Year: 1988

00

27.01.2024

0

0

book Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation: Interactive Proof with Cambridge LCF

djvu

Author: Paulson L.C.
Language: English
Year: 1990

00

27.01.2024

0

0

book Formal Semantics and Pragmatics for Natural Language Querying

Formal Semantics and Pragmatics for Natural Language Querying

djvu

Author: Clifford J.
Language: English
Year: 1990

00

27.01.2024

0

0

book Algorithmic information theory

Algorithmic information theory

djvu

Author: Chaitin Gregory J.
Language: English
Year: 1987

00

27.01.2024

0

0

book Algorithmic Information Theory

Algorithmic Information Theory

djvu

Author: Gregory. J. Chaitin
Language: English
Year: 1987

00

27.01.2024

0

0

book Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation: Interactive Proof with Cambridge LCF

djvu

Author: Lawrence C. Paulson
Language: English
Year: 1990

00

27.01.2024

0

0