Tamás Gergely – författare
Visar alla böcker från författaren Tamás Gergely. Handla med fri frakt och snabb leverans.
6 produkter
Cognitive Reasoning
A Formal Approach
Av Oleg M. Anshakov, Tamás Gergely
Inbunden, 2009
1693 kr
Lägg i varukorg
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems.This book describes the theory and methodology of a new, …
First-Order Programming Theories
Inbunden, 1991
1131 kr
Lägg i varukorg
This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for …
Cognitive Reasoning
A Formal Approach
Av Tamas Gergely, Oleg M. Anshakov
E-bok, 2010
2111 kr
Lägg i varukorg
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems. This book describes the theory and methodology of a new, …
Cognitive Reasoning
A Formal Approach
Av Oleg M. Anshakov, Tamás Gergely
Häftad, 2012
1643 kr
Lägg i varukorg
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems.This book describes the theory and methodology of a new, …
First-Order Programming Theories
E-bok, 2012
1459 kr
Lägg i varukorg
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved …
First-Order Programming Theories
Häftad, 2012
1098 kr
Lägg i varukorg
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved …
