Fundamentals of Logic and Computation. With Practical Automated Reasoning and Verification, 1st ed. 2021, Paperback/Zhe Hou

Descriere YEO:

Fundamentals of Logic and Computation. - Disponibil la elefant.ro

Pe YEO găsești Fundamentals of Logic and Computation. de la Springer Nature Switzerland AG, în categoria Foreign Books.

Indiferent de nevoile tale, Fundamentals of Logic and Computation. With Practical Automated Reasoning and Verification, 1st ed. 2021, Paperback/Zhe Hou din categoria Foreign Books îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 411.99 Lei

Caracteristicile produsului Fundamentals of Logic and Computation.

• Brand: Springer Nature Switzerland AG
• Categoria: Foreign Books
• Magazin: elefant.ro
• Ultima actualizare: 21-12-2024 01:38:29

Comandă Fundamentals of Logic and Computation. Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda Fundamentals of Logic and Computation. de la elefant.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
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. Publisher: Springer Nature Switzerland AG Author(s): Zhe Hou Illustration(s): 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p. 34 illus., 6 illus. in color. Number of pages: 222 Collection: Texts in Computer Science Publication date: 2022 Dimensions: 155 x 233 x 17 Cover type: Paperback / softback