Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics - Bog

- 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Theorem Proving in Higher Order Logics
Bag om Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540283720
  • Indbinding:
  • Paperback
  • Sideantal:
  • 414
  • Udgivet:
  • 8. august 2005
  • Udgave:
  • 2005
  • Størrelse:
  • 234x156x21 mm.
  • Vægt:
  • 1310 g.
  • 8-11 hverdage.
  • 16. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.

Brugerbedømmelser af Theorem Proving in Higher Order Logics



Andre købte også..
Find lignende bøger
Bogen Theorem Proving in Higher Order Logics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.