Alan J. a. Robinson | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

HANDBOOK OF AUTOMATED REASONING

Alan J.A. Robinson; Andrei Voronkov
Elsevier Science & Technology (2001)
Kovakantinen kirja

235,80 €

THE REPAIR OF VEHICLE BODIES

A. Robinson; Alan J. a. Robinson
ROUTLEDGE CHAPMAN&HALL (1993)
Pehmeäkantinen kirja

104,30 €

NATURAL AND ARTIFICIAL PARALLEL COMPUTATION

Michael A. Arbib; J. Alan Robinson
MIT Press (1991)
Kovakantinen kirja

49,00 €

Handbook of Automated Reasoning

Alan J.A. Robinson, Andrei Voronkov

235,80 €

Elsevier Science & Technology
Sivumäärä: 1188 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2001, 21.06.2001 (lisätietoa)
Kieli: Englanti

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.

Myymäläsaatavuus