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. Automated Deduction - CADE-17

Automated Deduction - CADE-17

- 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

indgår i Lecture Notes in Artificial Intelligence serien

indgår i Lecture Notes in Computer Science serien

Automated Deduction - CADE-17
Bag om Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540676645
  • Indbinding:
  • Paperback
  • Sideantal:
  • 526
  • Udgivet:
  • 5. juni 2000
  • Udgave:
  • 2000
  • Størrelse:
  • 234x156x27 mm.
  • Vægt:
  • 819 g.
  • 8-11 hverdage.
  • 16. 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 Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Brugerbedømmelser af Automated Deduction - CADE-17



Andre købte også..
Find lignende bøger
Bogen Automated Deduction - CADE-17 findes i følgende kategorier: