Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Fundamentals of Logic and Computation
- With Practical Automated Reasoning and Verification
Af: Zhe Hou
Engelsk
Bogcover for Fundamentals of Logic and Computation af Zhe Hou, 9783030878818
Specifikationer
Sprog:
Engelsk
Sider:
222
ISBN-13:
9783030878818
Indbinding:
Hardback
ISBN-10:
3030878813
Udg. Dato:
4 dec 2021
Størrelse i cm:
16,0 x 24,2 x 1,9
Oplagsdato:
4 dec 2021
Forfatter(e):

Fundamentals of Logic and Computation

- With Practical Automated Reasoning and Verification
Af: Zhe Hou
Engelsk
Hardback 2021
Format:

Bog beskrivelse
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.
... Vis mere

Forlags Vejl. pris
640,75 kr
Hos Booktok
491 kr
spar 23%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
222
ISBN-13:
9783030878818
Indbinding:
Hardback
ISBN-10:
3030878813
Udg. Dato:
4 dec 2021
Størrelse i cm:
16,0 x 24,2 x 1,9
Oplagsdato:
4 dec 2021
Forfatter(e):
Finder produkter...
Kategori sammenhænge