Term Rewriting and All That

Inbunden, Engelska, 1998

Av Franz Baader, Tobias Nipkow

919 kr

Slutsåld

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Produktinformation

Utgivningsdatum1998-03-05
Mått179 x 254 x undefined mm
Vikt775 g
SpråkEngelska
Antal sidor313
FörlagCambridge University Press
EAN9780521455206

Mer från samma författare

The Description Logic Handbook

The Description Logic Handbook

Dresden) Baader, Franz (Technische Universitat, Bolzano) Calvanese, Diego (Freie Universitat Bozen, New York) McGuinness, Deborah L. (Rensselaer Polytechnic Institute, Italy) Nardi, Daniele (Universita degli Studi di Roma 'La Sapienza', New Jersey) Patel-Schneider , Peter F. (AT&T Bell Laboratories, Franz Baader, Diego Calvanese, Deborah L McGuinness

1 149 kr

An Introduction to Description Logic

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler

689 kr

Term Rewriting and All That

Term Rewriting and All That

Germany) Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Tobias (Technische Universitat Munchen) Nipkow, Tobias Nipkow, Franz Baader, Baader Franz

889 kr

The Description Logic Handbook

The Description Logic Handbook

Franz Baader, Diego Calvanese, Deborah Mcguinness, Daniele Nardi, Peter Patel-Schneider

1 449 kr

An Introduction to Description Logic

An Introduction to Description Logic

Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler, Franz Baader, Ian Horrocks, Carsten Lutz

1 309 kr

Fermenta Cognitionis, Heft 1.

Fermenta Cognitionis, Heft 1.

2 059 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Franz Baader, Andrei Voronkov

1 469 kr

Automated Deduction - CADE-19

Automated Deduction - CADE-19

739 kr

KI 2001: Advances in Artificial Intelligence

KI 2001: Advances in Artificial Intelligence

Franz Baader, Gerhard Brewka, Thomas Eiter

739 kr

Term Rewriting and Applications

Term Rewriting and Applications

739 kr

Du kanske också är intresserad av