Formal methods in artificial intelligence View on Open Library

Formal methods in artificial intelligence

by Allan Ramsay

No reviews yet
First published: 1988 1 language ISBN: 0521352363
Subjects
Artificial intelligence Methodology Reasoning Symbolic and mathematical Logic Mathematische Logik Formele logica Raisonnement Kunstmatige intelligentie Methodologie Methode

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Allan Ramsay

Artificial Intelligence

Artificial Intelligence

AI in practice

AI in practice

Artificial Intelligence

Artificial Intelligence

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)

Formal Methods in Artificial Intelligenc...

Computing Love

Computing Love

Speech act theory and epistemic planning

Speech act theory and epistemic planning

You Might Also Like

More in Artificial intellige...
Ender's Game

Ender's Game

Orson Scott Card
I, Robot

I, Robot

Isaac Asimov
A Torre Negra

A Torre Negra

Stephen King
Prey

Prey

Michael Crichton
The moon is a harsh mistress

The moon is a harsh mistress

Robert A. Heinlein
Artificial intelligence

Artificial intelligence

Stuart J. Russell