Filter Related Topics within your search.
Symbolic and Algebraic Manipulation Computer science 13 Mathematical Logic and Formal Languages 9 Mathematics 9 Artificial Intelligence (incl. Robotics) 6 Electronic books 6 Logics and Meanings of Programs 6 more ...
6
Main Authors: Fokkink Wan, 1965-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: 2007.
Book
7
Main Authors: Konar Amit.
Corporate Authors: SpringerLink (Online service)
Group Author: Jain Lakhmi.
Published: Springer-Verlag London Limited,
Publication Dates: c2005.
Book
10
Main Authors: Cox David A.
Group Author: O'Shea Donal.; Little John
Published: Springer Science+Business Media, Inc.,
Publication Dates: 2005.
Book
11
Main Authors: Niemann, Philipp (Author)
Corporate Authors: SpringerLink (Online service)
Group Author: Wille, Robert
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
12
Corporate Authors: SpringerLink (Online service)
Group Author: Hofner, Peter (Editor); Pous, Damien (Editor); Struth, Georg (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Search Tools: Get RSS Feed Email this Search