Foundations of Logic and Functional Programming Workshop View on Open Library

Foundations of Logic and Functional Programming Workshop

by Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

No reviews yet
First published: 1988 1 language ISBN: 9783540191292
Subjects
Logique symbolique et mathématique Symbolic and mathematical Logic Programmation logique Functional programming (Computer science) Functionele programmering Congrès Congresses Programmation fonctionnelle Logisch programmeren Funktionale Programmierung

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

Foundations of Logic and Functional Programming Workshop

Foundations of Logic and Functional Prog...

You Might Also Like

More in Logique symbolique e...
Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein
An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole
Gödel's proof

Gödel's proof

Ernest Nagel
Artificial intelligence

Artificial intelligence

Stuart J. Russell
Mathematics and plausible reasoning

Mathematics and plausible reasoning

George Pólya
Methods of logic

Methods of logic

Willard Van Orman Quine