Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N - Jeffrey J Joyce - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540578260 - 1994. gada 28. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Jeffrey J Joyce
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. - 25. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Jeffrey J Joyce izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.

526 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1994. gada 28. aprīlis
ISBN13 9783540578260
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 526
Izmēri 156 × 234 × 27 mm   ·   743 g
Valoda Vācu  
Redaktors Joyce, Jeffrey J.
Redaktors Seger, Carl-johan H.

Vairāk no tā paša izdevēja

Skatīt visus Jeffrey J Joyce