Künstliche Intelligenz und Heuristisches Programmieren SpringerLink Skip to main content Advertisement Search Go to cart Search Book © 1975

Künstliche Intelligenz und Heuristisches Programmieren

Editors

Nicholas V. Findler0 Nicholas V. Findler Department of Computer Science, State University of New York at Buffalo, Amherst, USA
View editor publications You can also search for this editor in PubMed Google Scholar 1232 Accesses 1 Citations

Sections

Table of contents Keywords Editors and Affiliations Bibliographic Information

Buying options

eBook USD 49.99 Price excludes VAT (USA) ISBN: 978-3-7091-8389-2 Instant PDF download Readable on all devices Own it forever Exclusive offer for individuals only Tax calculation will be finalised during checkout Buy eBook Softcover Book USD 64.99 Price excludes VAT (USA) ISBN: 978-3-7091-8390-8 Dispatched in 3 to 5 business days Exclusive offer for individuals only Free shipping worldwide
Shipping restrictions may apply, check to see if you are impacted. Tax calculation will be finalised during checkout Buy Softcover Book Learn about institutional subscriptions This is a preview of subscription content, access via your institution.

Table of contents 13 chapters

Search

Front Matter

Pages i-vii PDF

Zur automatischen Beweisführung von Theoremen

Front Matter

Pages 1-1 PDF

Über den Bau von Deduktionsmaschinen

J. A. Robinson Pages 3-13

Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren

B. Meltzer Pages 15-35

Problem-orientierte Programmiersprachen

Front Matter

Pages 37-37 PDF

Problemlösungskompilierer

E. W. Elcock Pages 39-52

AMPPL-II Praktische Anwendungsbereiche

N. V. Findler Pages 53-80

Das Lösen von Problemen

Front Matter

Pages 81-81 PDF

Heuristische Suche Konzepte und Methoden

E. J. Sandewall Pages 83-103

Die Formulierung und Durchführung von Plänen durch Maschinen

D. Michie Pages 105-128

Ein allgemeines Programm für Spiele

J. Pitrat Pages 129-163

Integrierte Systeme

Front Matter

Pages 165-165 PDF

Das Rahmenproblem in Problemlösungssystemen

B. Raphael Pages 167-179

Verarbeitung von natürlicher Sprache und Bildern

Front Matter

Pages 181-181 PDF

Die Zusammensetzheuristik und ein Sprachlernmodell

R. K. Lindsay Pages 183-199

Die natürliche Sprache als Kommunikationsmittel im programmierten Unterricht

R. F. Simmons Pages 201-207

Rechenanlagen die natürliche Sprache verstehen

J. Palme Pages 209-255

Zur Beschreibung von Bildern

M. Clowes Pages 257-269

Kognitive Studien

Front Matter

Pages 271-271 PDF

Kognitive Lernprozesse Ein Erklärungsversuch

M. Kochen Pages 273-331 Back to top

Keywords

IntelligenzProgrammierenProgrammierungProgrammierung (EDV)künstliche Intelligenz Back to top

Editors and Affiliations

Department of Computer Science State University of New York at Buffalo Amherst USA

Nicholas V. Findler Back to top

Bibliographic Information

Book Title: Künstliche Intelligenz und Heuristisches Programmieren Editors Nicholas V. Findler DOI: https://doi.org/10.1007/978-3-7091-8389-2 Publisher: Springer Vienna eBook Packages: Springer Book Archive Copyright Information: Springer-Verlag/Wien 1975 Softcover ISBN: 978-3-7091-8390-8 eBook ISBN: 978-3-7091-8389-2 Edition Number: 1 Number of Pages: VIII, 349 Additional Information: Erweiterte Bearbeitung der englischen Ausgabe mit dem Titel: Artificial intelligence and heuristic programming Topics: Theory of Computation, Artificial Intelligence Back to top Access via your institution

Buying options

eBook USD 49.99 Price excludes VAT (USA) ISBN: 978-3-7091-8389-2 Instant PDF download Readable on all devices Own it forever Exclusive offer for individuals only Tax calculation will be finalised during checkout Buy eBook Softcover Book USD 64.99 Price excludes VAT (USA) ISBN: 978-3-7091-8390-8 Dispatched in 3 to 5 business days Exclusive offer for individuals only Free shipping worldwide
Shipping restrictions may apply, check to see if you are impacted. Tax calculation will be finalised during checkout Buy Softcover Book Learn about institutional subscriptions