UID:
almahu_9948192457302882
Format:
VIII, 349 S.
,
online resource.
Edition:
1st ed. 1975.
ISBN:
9783709183892
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783709183908
Additional Edition:
Printed edition: ISBN 9783211812822
Language:
German
DOI:
10.1007/978-3-7091-8389-2
URL:
https://doi.org/10.1007/978-3-7091-8389-2
