Knowledge Representation, Reasoning and Declarative Problem Solving
Baral, Chitta;
70 854 Ft
56 683 Ft
Term Rewriting and All That
Baader, Franz; Nipkow, Tobias;
26 823 Ft
21 459 Ft
Term Rewriting Systems
Terese;
102 738 Ft
82 191 Ft
Scientific Programmer's Toolkit: Turbo Pascal Edition
Beilby, M.H;
126 525 Ft
101 220 Ft
XML in Data Management: Understanding and Applying Them Together
Aiken, Peter; Allen, M. David;
21 612 Ft
17 290 Ft
Higher Order Logic and Hardware Verification
Melham, T. F.;
55 671 Ft
44 537 Ft
Categories and Computer Science
Walters, R. F. C.;
21 256 Ft
17 005 Ft
Abductive Inference: Computation, Philosophy, Technology
Josephson, John R.; Josephson, Susan G.; (ed.)
57 695 Ft
46 156 Ft
Rationale for the Design of the Ada Programming Language
Ichbiah, J.; Barnes, J.; Firth, R.;
73 890 Ft
59 112 Ft
Logic and Computation: Interactive Proof with Cambridge LCF
Paulson, Lawrence C.;
26 317 Ft
21 054 Ft
Logic and Information
Devlin, Keith;
48 079 Ft
38 464 Ft
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 Ft
20 244 Ft
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Brewka, Gerhard;
34 414 Ft
27 532 Ft
Illustrating BBC Basic
Alcock, Donald G.;
22 268 Ft
17 815 Ft
Systemic Text Generation as Problem Solving
Patten, Terry;
Illustrating FORTRAN
15 183 Ft
12 146 Ft
Illustrating BASIC
19 231 Ft
15 385 Ft
23 786 Ft
19 029 Ft
Information Flow: The Logic of Distributed Systems
Barwise, Jon; Seligman, Jerry;
34 920 Ft
27 937 Ft
Figyelem! Ez a tétel már a kosarában van példányban. Növelni akarja a példányszámot?
