Knowledge Representation, Reasoning and Declarative Problem Solving
Baral, Chitta;
70 854 HUF
56 683 HUF
Term Rewriting and All That
Baader, Franz; Nipkow, Tobias;
26 823 HUF
21 459 HUF
Term Rewriting Systems
Terese;
102 738 HUF
82 191 HUF
Scientific Programmer's Toolkit: Turbo Pascal Edition
Beilby, M.H;
126 525 HUF
101 220 HUF
XML in Data Management: Understanding and Applying Them Together
Aiken, Peter; Allen, M. David;
21 612 HUF
17 290 HUF
Higher Order Logic and Hardware Verification
Melham, T. F.;
55 671 HUF
44 537 HUF
Categories and Computer Science
Walters, R. F. C.;
21 256 HUF
17 005 HUF
Abductive Inference: Computation, Philosophy, Technology
Josephson, John R.; Josephson, Susan G.; (ed.)
57 695 HUF
46 156 HUF
Rationale for the Design of the Ada Programming Language
Ichbiah, J.; Barnes, J.; Firth, R.;
73 890 HUF
59 112 HUF
Logic and Computation: Interactive Proof with Cambridge LCF
Paulson, Lawrence C.;
26 317 HUF
21 054 HUF
Logic and Information
Devlin, Keith;
48 079 HUF
38 464 HUF
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Aczel, Peter; Simmons, Harold; Wainer, Stanley S.; (ed.)
The Foundations of Artificial Intelligence: A Sourcebook
Partridge, Derek; Wilks, Yorick; (ed.)
25 305 HUF
20 244 HUF
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Brewka, Gerhard;
34 414 HUF
27 532 HUF
Illustrating BBC Basic
Alcock, Donald G.;
22 268 HUF
17 815 HUF
Systemic Text Generation as Problem Solving
Patten, Terry;
Illustrating FORTRAN
15 183 HUF
12 146 HUF
Illustrating BASIC
19 231 HUF
15 385 HUF
23 786 HUF
19 029 HUF
Information Flow: The Logic of Distributed Systems
Barwise, Jon; Seligman, Jerry;
34 920 HUF
27 937 HUF
Attention! 0 copies of this item are already in your shopping basket. Would you like to increase the number of copies?
