Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020324522
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783709183908_new
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. Seller Inventory # 6666-IUK-9783709183908
Quantity: 10 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeZur 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. 360 pp. Deutsch. Seller Inventory # 9783709183908
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 360. Seller Inventory # 26142299855
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 360 72 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 135064848
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 360. Seller Inventory # 18142299845
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Zur automatischen Beweisfuehrung von Theoremen.- Ueber den Bau von Deduktionsmaschinen.- Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren.- Problem-orientierte Programmiersprachen.- Problemloesungskompilierer.- AMPPL-II: Praktische Anwendungsb. Seller Inventory # 5250757
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangabeZur 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Deutsch. Seller Inventory # 9783709183908
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - InhaltsangabeZur 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. Seller Inventory # 9783709183908