Central Library Search for 'au:"Voronkov, Andrei."'

Perspectives of System Informatics

. X, 341 p. 90 illus. 9783319415796

Place Hold on Perspectives of System Informatics

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Programming Logics

. X, 447 p. 69 illus. 9783642376511

Place Hold on Programming Logics

Logic for Programming, Artificial Intelligence, and Reasoning

. XV, 640 p. 142 illus. in color. 9783662488997

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of System Informatics

. XIII, 415 p. 106 illus. 9783662468234

Place Hold on Perspectives of System Informatics

Perspectives of System Informatics

. XVIII, 263 p. 198 illus., 51 illus. in color. 9783030374877

Place Hold on Perspectives of System Informatics

Perspectives of Systems Informatics

. XIV, 411 p. 130 illus. 9783642297090

Place Hold on Perspectives of Systems Informatics

Perspectives of System Informatics

. XI, 432 p. 80 illus. 9783319743134

Place Hold on Perspectives of System Informatics

Perspectives of Systems Informatics

. XIII, 426 p. 9783642114861

Place Hold on Perspectives of Systems Informatics

Logic for Programming, Artificial Intelligence, and Reasoning

. XV, 640 p. 142 illus. in color. 9783662488997

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 592 p. 9783540482826

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Rewriting Techniques and Applications

. XIII, 457 p. 9783540705901

Place Hold on Rewriting Techniques and Applications

Logic for Programming, Artificial Intelligence, and Reasoning

. XIII, 564 p. 9783540755609

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Computer Science - Theory and Applications

. XIII, 420 p. 9783540745105

Place Hold on Computer Science - Theory and Applications

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of Systems Informatics

. XIV, 496 p. 9783540708810

Place Hold on Perspectives of Systems Informatics

Programming Logics

. X, 447 p. 69 illus. 9783642376511

Place Hold on Programming Logics

Logic for Programming, Artificial Intelligence, and Reasoning

. XII, 560 p. 9783540322757

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

. XII, 656 p. 83 illus. 9783642162428

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 714 p. 9783540894391

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of System Informatics

. XIII, 415 p. 106 illus. 9783662468234

Place Hold on Perspectives of System Informatics

Logic for Programming, Artificial Intelligence, and Reasoning

. X, 517 p. 71 illus., 4 illus. in color. 9783642175114

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 744 p. 9783540316503

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

. XI, 446 p. 9783642287176

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of System Informatics

. X, 341 p. 90 illus. 9783319415796

Place Hold on Perspectives of System Informatics