wyszukanych pozycji: 5
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
ISBN: 9781441929051 / Angielski / Miękka / 2011 / 409 str. Termin realizacji zamówienia: ok. 20 dni roboczych. An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates a...
|
|
cena:
583,65 zł |
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
ISBN: 9780387951973 / Angielski / Twarda / 2001 / 409 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice. Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and...
"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main o...
|
|
cena:
583,65 zł |
An Introduction to the Technique of Formative Processes in Set Theory
ISBN: 9783319747774 / Angielski / Twarda / 2018 / 154 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.
This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.
|
|
cena:
194,52 zł |
From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
ISBN: 9783031552472 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
225,66 zł |
An Introduction to the Technique of Formative Processes in Set Theory
ISBN: 9783319892832 / Angielski / Miękka / 2019 / 154 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,52 zł |