De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Frontiers of Combining Systems

Frontiers of Combining Systems

- 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

indgår i Lecture Notes in Artificial Intelligence serien

indgår i Lecture Notes in Computer Science serien

Frontiers of Combining Systems
Bag om Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642042218
  • Indbinding:
  • Paperback
  • Sideantal:
  • 383
  • Udgivet:
  • 2. september 2009
  • Udgave:
  • 2009
  • Størrelse:
  • 235x155x20 mm.
  • Vægt:
  • 605 g.
  • 8-11 hverdage.
  • 17. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Brugerbedømmelser af Frontiers of Combining Systems



Andre købte også..
Find lignende bøger
Bogen Frontiers of Combining Systems findes i følgende kategorier: