Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Symbolic and Algebraic Manipulation.'

Logic, Rationality, and Interaction

By Grossi, Davide.. . XII, 363 p. 41 illus. 9783642409486

Place Hold on Logic, Rationality, and Interaction

Algebraic Informatics

By Muntean, Traian.. . X, 275 p. 14 illus. 9783642406638

Place Hold on Algebraic Informatics

Typed Lambda Calculi and Applications

By Hasegawa, Masahito.. . XII, 251 p. 18 illus. 9783642389467

Place Hold on Typed Lambda Calculi and Applications

Certified Programs and Proofs

By Hawblitzel, Chris.. . X, 305 p. 64 illus. 9783642353086

Place Hold on Certified Programs and Proofs

Relational and Algebraic Methods in Computer Science

By Kahl, Wolfram.. . XII, 361 p. 33 illus. 9783642333149

Place Hold on Relational and Algebraic Methods in Computer Science

Logic, Language, Information and Computation

By Ong, Luke.. . XII, 337 p. 49 illus. 9783642326219

Place Hold on Logic, Language, Information and Computation

Intelligent Computer Mathematics

By Jeuring, Johan.. . XVIII, 473p. 117 illus. 9783642313745

Place Hold on Intelligent Computer Mathematics

Algebraic and Numeric Biology

By Horimoto, Katsuhisa.. . IX, 185 p. 9783642280672

Place Hold on Algebraic and Numeric Biology

Certified Programs and Proofs

By Jouannaud, Jean-Pierre.. . XV, 401p. 87 illus. 9783642253799

Place Hold on Certified Programs and Proofs

Algebraic Foundations in Computer Science

By Kuich, Werner.. . X, 363 p. 9783642248979

Place Hold on Algebraic Foundations in Computer Science

Logic, Rationality, and Interaction

By Ditmarsch, Hans.. . XI, 403 p. 9783642241307

Place Hold on Logic, Rationality, and Interaction

The Mathematics of Language

By Kanazawa, Makoto.. . IV, 227p. 9783642232114

Place Hold on The Mathematics of Language

Algebra and Coalgebra in Computer Science

By Corradini, Andrea.. . XI, 420p. 9783642229442

Place Hold on Algebra and Coalgebra in Computer Science

Functional and Constraint Logic Programming

By Kuchen, Herbert.. . VII, 157 p. 9783642225314

Place Hold on Functional and Constraint Logic Programming

Typed Lambda Calculi and Applications

By Ong, Luke.. . XII, 245 p. 9783642216916

Place Hold on Typed Lambda Calculi and Applications

Algebraic Informatics

By Winkler, Franz.. . X, 261p. 9783642214936

Place Hold on Algebraic Informatics

Relational and Algebraic Methods in Computer Science

By Swart, Harrie.. . VIII, 363 p. 9783642210709

Place Hold on Relational and Algebraic Methods in Computer Science

Logic, Language, Information and Computation

By Beklemishev, Lev D.. . X, 311 p. 9783642209208

Place Hold on Logic, Language, Information and Computation

Functional and Constraint Logic Programming

By Mariño, Julio.. . IX, 175 p. 9783642207754

Place Hold on Functional and Constraint Logic Programming

Recent Advances in Constraints

By Larrosa, Javier.. . VII, 155 p. 9783642194863

Place Hold on Recent Advances in Constraints

Logics in Artificial Intelligence

By Janhunen, Tomi.. . XIV, 374p. 48 illus. 9783642156755

Place Hold on Logics in Artificial Intelligence

The Mathematics of Language

By Ebert, Christian.. . VIII, 297p. 55 illus. 9783642143229

Place Hold on The Mathematics of Language

Logic, Language and Meaning

By Aloni, Maria.. . X, 476p. 1 illus. in color. 9783642142871

Place Hold on Logic, Language and Meaning

Logic, Language, Information and Computation

By Dawar, Anuj.. . X, 259p. 28 illus. 9783642138249

Place Hold on Logic, Language, Information and Computation

Certified Programs and Proofs

By Gonthier, Georges.. . XII, 309 p. 44 illus. 9783319035451

Place Hold on Certified Programs and Proofs

Rigorous Software Development

By Almeida, José Bacelar.. . XIII, 307p. 52 illus. 9780857290182

Place Hold on Rigorous Software Development