Udvidet returret til d. 31. januar 2025

Resolution Calculus - Alexander Leitsch - Bog

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.
  • 8-11 hverdage.
  • 30. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

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.