EUR 3,37 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020324522
Anzahl: Mehr als 20 verfügbar
Anbieter: Best Price, Torrance, CA, USA
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783709183908
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783709183908_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783709183908
Anzahl: 10 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783709183908
Anzahl: 2 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 360. Bestandsnummer des Verkäufers 26142299855
Anzahl: 4 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: 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. Bestandsnummer des Verkäufers 135064848
Anzahl: 4 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 360. Bestandsnummer des Verkäufers 18142299845
Anzahl: 4 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: 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. Bestandsnummer des Verkäufers 5250757
Anzahl: Mehr als 20 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783709183908
Anzahl: 1 verfügbar