Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer, Berlin
SKU: 9783540578260
Price: 1147 CZK
Availability: InStock

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13

Autor: Jeffrey J. Joyce, Carl-Johan H. Seger

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Worksho...

Informace o knize

Autor

Jeffrey J. Joyce, Carl-Johan H. Seger

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1994

Stránek

526

EAN

9783540578260

ISBN

3540578269

Enbook ID

05274376

Vydavatel

Springer, Berlin

Hmotnost

697

Rozměry

156 x 234 x 27

Kompletní popis

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Higher Order Logic Theorem Proving and Its Applications

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také