Verwandte Artikel zu Automated Reasoning: Computer science, Reasoning, Artificial...

Automated Reasoning: Computer science, Reasoning, Artificial intelligence, Theoretical computer science, Automated theorem proving, Interactive theorem proving - Softcover

 
9786130811280: Automated Reasoning: Computer science, Reasoning, Artificial intelligence, Theoretical computer science, Automated theorem proving, Interactive theorem proving
Softcover
ISBN 10: 6130811284 ISBN 13: 9786130811280
Verlag: OmniScriptum, 2010

Inhaltsangabe

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely, automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely, automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
OmniScriptum
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
6130811284
ISBN 13 
9786130811280
Einband
Tapa blanda
Anzahl der Seiten
80
Herausgeber
Miller Frederic P., Vandome Agnes F., McBrewster John
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar