Library of American University of Madaba Search for 'su:Algebra and su:Data processing. and branch:MAIN and su-to:Mathematical Logic and Formal Languages.'

Combinatorial Algorithms

By Lecroq, Thierry.. . XXII, 474 p. 135 illus. 9783642452789

Place Hold on Combinatorial Algorithms

Logic, Rationality, and Interaction

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

Place Hold on Logic, Rationality, and Interaction

Automated Deduction in Geometry

By Ida, Tetsuo.. . X, 193 p. 55 illus. 9783642406720

Place Hold on Automated Deduction in Geometry

Algebraic Informatics

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

Place Hold on Algebraic Informatics

Formal Grammar

By Morrill, Glyn.. . X, 293 p. 58 illus. 9783642399985

Place Hold on Formal Grammar

Logic, Language, Information, and Computation

By Libkin, Leonid.. . X, 283 p. 15 illus. 9783642399923

Place Hold on Logic, Language, Information, and Computation

Intelligent Computer Mathematics

By Carette, Jacques.. . XVI, 384 p. 100 illus. 9783642393204

Place Hold on Intelligent Computer Mathematics

Typed Lambda Calculi and Applications

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

Place Hold on Typed Lambda Calculi and Applications

Combinatorial Algorithms

By Arumugam, S.. . XII, 303 p. 136 illus. 9783642359262

Place Hold on Combinatorial Algorithms

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

Formal Grammar

By Groote, Philippe.. . X, 290 p. 44 illus. 9783642320248

Place Hold on Formal Grammar

Languages Alive

By Bordihn, Henning.. . X, 291 p. 29 illus. 9783642316449

Place Hold on Languages Alive

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

Automated Deduction in Geometry

By Schreck, Pascal.. . X, 259 p. 9783642250705

Place Hold on Automated Deduction in Geometry

Combinatorial Algorithms

By Iliopoulos, Costas S.. . XI, 387 p. 9783642250118

Place Hold on Combinatorial Algorithms

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

Logic and Games on Automatic Structures

By Kaiser, Łukasz.. . XII, 118 p. 9783642228070

Place Hold on Logic and Games on Automatic Structures

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

Formal Grammar

By Groote, Philippe.. . VIII, 215 p. 9783642201691

Place Hold on Formal Grammar

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

Sets, Logic and Maths for Computing

By Makinson, David.. . XXI, 283p. 17 illus. 9781447125006

Place Hold on Sets, Logic and Maths for Computing