
Künstliche Intelligenz und Heuristisches Programmieren
N.V. Findler(Editor)
Springer (Publisher)
Published on 7. January 2012
Book
Paperback/Softback
VIII, 349 pages
978-3-7091-8390-8 (ISBN)
More details
Edition
Softcover Reprint of the Original 1st 1975 ed.
Language
German
Place of publication
Vienna
Austria
Publishing group
Springer Wien
Target group
Professional and scholarly
Research
Illustrations
VIII, 349 S.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 20 mm
Weight
621 gr
ISBN-13
978-3-7091-8390-8 (9783709183908)
DOI
10.1007/978-3-7091-8389-2
Schweitzer Classification
Other editions
Additional editions

E-Book
03/2013
Springer
€42.99
Available for download

Book
09/1975
1st Edition
Springer
€49.95
Article exhausted; check different version
Persons
Content
Zur automatischen Beweisführung von Theoremen.- Über den Bau von Deduktionsmaschinen.- Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren.- Problem-orientierte Programmiersprachen.- Problemlösungskompilierer.- AMPPL-II: Praktische Anwendungsbereiche.- Das Lösen von Problemen.- Heuristische Suche: Konzepte und Methoden.- Die Formulierung und Durchführung von Plänen durch Maschinen.- Ein allgemeines Programm für Spiele.- Integrierte Systeme.- Das Rahmenproblem in Problemlösungssystemen.- Verarbeitung von natürlicher Sprache und Bildern.- Die Zusammensetzheuristik und ein Sprachlernmodell.- Die natürliche Sprache als Kommunikationsmittel im programmierten Unterricht.- Rechenanlagen, die natürliche Sprache verstehen.- Zur Beschreibung von Bildern.- Kognitive Studien.- Kognitive Lernprozesse: Ein Erklärungsversuch.- Glossarium.- Weiterführende Literatur.- Namenverzeichnis.