History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 10 of 10 total

How many kinds of reasoning? Inference, probability, and natural language semantics. (English)
Cognition 136, 123-134 (2015).
Classification: K50 K70 E50
1
Elements of logical reasoning. (English)
Cambridge: Cambridge University Press (ISBN 978-1-107-03659-8/hbk; 978-1-107-61077-4/pbk; 978-1-139-69900-6/ebook). ix, 264~p. (2013).
Classification: E35 Reviewer: Siegfried J. Gottwald (Leipzig)
2
A learning environment that combines problem-posing and problem-solving activities. (English)
Lane, H. Chad (ed.) et al., Artificial intelligence in education. 16th international conference, AIED 2013, Memphis, TN, USA, July 9‒13, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39111-8/pbk). Lecture Notes in Computer Science 7926, 111-120 (2013).
Classification: U50 R20 D50 E30 R40
3
Introduction to propositional logic by means of the puzzles of Smullyan. (Introduzione alla logica proposizionale attraverso gli indovinelli di Smullyan.) (Italian. English summary)
Educ. Mat. (Cagliari) 32, No. 3, 5-28 (2011).
Classification: E30 A20
4
The AproS project: Teaching logic to business and engineering students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 190-197 (2011).
Classification: E35 E55 R25 R45 A65
5
{\sc Panda}: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 85-92 (2011).
Classification: E35 E55 P25 R25 R45 A65
6
Designing an introductory course to elementary symbolic logic within the blackboard e-learning environment. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 249-255 (2011).
Classification: E30 D40 R20 U50 A60
7
A concise introduction to mathematical logic. 3rd revised and enlarged ed. (English)
Universitext. London: Springer (ISBN 978-1-4419-1220-6/pbk; 978-1-4419-1221-3/ebook). xxi, 319~p. (2010).
Classification: E35 Reviewer: Siegfried J. Gottwald (Leipzig)
8
An epistemological and didactic study of a specific calculus reasoning rule. (English)
Educ. Stud. Math. 60, No. 2, 149-172 (2005).
Classification: E55 E35 I15
9
Elements of contemporary logic. (Éléments de logique contemporaine.) (French)
Presses de l’Université de Montréal, Montreal, PQ (ISBN 2-7606-1818-8). 268 p. (2001).
Classification: E35
10
first | previous | 1 | next | last

Result 1 to 10 of 10 total

Valid XHTML 1.0 Transitional Valid CSS!