Udvidet returret til d. 31. januar 2025
Bag om Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642644733
  • Indbinding:
  • Paperback
  • Sideantal:
  • 300
  • Udgivet:
  • 28. september 2011
  • Udgave:
  • 11997
  • Størrelse:
  • 234x156x16 mm.
  • Vægt:
  • 482 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Beskrivelse af Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Brugerbedømmelser af Resolution Calculus



Find lignende bøger
Bogen Resolution Calculus 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.