Conditional and Typed Rewriting Systems Mitsuhiro Okada
53,49 €
Titel: Conditional and Typed Rewriting Systems, Untertitel: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings, Einband: Taschenbuch, Autor: Mitsuhiro Okada, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Automatisches Schließen Parallel Architecture Parallel Computing Parallele Architekturen Paralleles Rechnen Parallelverarbeitung (EDV) Programmiersprache Programming languages Rechnerarchitektur Resolution Semantics Term rewriting systems automated deduction logic programming.
Jetzt bei Ebay:
