Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Goal-Directed Proof Theory
indgår i Applied Logic Series serien
- Indbinding:
- Hardback
- Sideantal:
- 268
- Udgivet:
- 1. august 2000
- Udgave:
- 2000
- Størrelse:
- 234x156x17 mm.
- Vægt:
- 1270 g.
-
BLACK NOVEMBER
Gratis fragt
Leveringstid:
8-11 hverdage
Forventet levering: 20. november 2024
Beskrivelse af Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.
Brugerbedømmelser af Goal-Directed Proof Theory
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Goal-Directed Proof Theory findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
