Gilles Dowek (ed.) | Akateeminen Kirjakauppa

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

HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING : SECOND INTERNATIONAL WORKSHOP, HOA '95, PADERBORN, GERMANY, SEPTEMBER 1995. SE

Gilles Dowek (ed.); Jan Heering (ed.); Karl Meinke (ed.); Bernhard Möller (ed.)
Springer (1996)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

THEOREM PROVING IN HIGHER ORDER LOGICS : 12TH INTERNATIONAL CONFERENCE, TPHOLS'99, NICE, FRANCE, SEPTEMBER 14-17, 1999, PROCEEDI

Yves Bertot (ed.); Gilles Dowek (ed.); Andre Hirschowitz (ed.); Christine Paulin (ed.); Laurent Thery (ed.)
Springer (1999)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Se

Gilles Dowek (ed.), Jan Heering (ed.), Karl Meinke (ed.), Bernhard Möller (ed.)

49,60 €

Springer
Sivumäärä: 296 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996
Julkaisuvuosi: 1996, 08.05.1996 (lisätietoa)
Kieli: Englanti

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus