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

Result 1 to 11 of 11 total

Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German)
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222~p. (2013).
Classification: E35 E65 P25 Reviewer: Klaus D. Kiermeier (Berlin)
1
Deduction. Automation of logic. Deduktion. Automatisierung der Logik. (German)
Muenchen: Oldebourg. 1992. 269 p. Ser. Title: Handbuch der Informatik. v. 6.2. [ISBN 3-486-20785-7]
Classification: R40 E30
2
The emperor’s new mind concerning computers, minds, and the laws of physics. Computerdenken. Des Kaisers neue Kleider oder die Debatte um Kuenstliche Intelligenz, Bewusstsein und die Gesetze der Physik. (German)
Heidelberg: Spektrum der Wissenschaft Verlagsgesellschaft. 1991. 475 p. 4. rev. and enl. ed. Translated from English: The emperor’s new mind concerning computers, minds, and the law of physics. [ISBN 3-89330-708-7]
Classification: P70 E20 A30
3
Computer informatics and mathematics. Informatik und Mathematik. (Bulgarian)
Mathematics and education in mathematics. Mathematik und Mathematikunterricht. Bylgarska Akademiya na Naukite, Sofia. Matematischeski Inst. 1990. p. 569-591 of 595 p. Available from FIZ Karlsruhe. Conference: Nineteenth Spring Conference of the Union of Bulgarian Mathematicians, Sunny Beach (Bulgaria), 6-9 Apr 1990
Classification: P20
4
What is mathematics. Another example: computer science. Was ist Mathematik. Ein anderes Beispiel: Informatik. (English)
Int. J. Math. Educ. Sci. Technol. (1989) v. 20(2) p. 307-315. CODEN: IJMEBM [ISSN 0020-739X]
Classification: P20 E20
5
Construction problems - why and how. Konstruktionsaufgaben - warum und wie. (English)
Int. J. Math. Educ. Sci. Technol. (1989) v. 20(2) p. 273-287. CODEN: IJMEBM [ISSN 0020-739X]
Classification: G40 E50
6
Computability, complexity, logic. An introduction to the theory of algorithms, formal languages, and predicate calculus with special regard on their complexity. Berechenbarkeit, Komplexitaet, Logik. Eine Einfuehrung in Algorithmen, Sprachen und Kalkuele unter besonderer Beruecksichtigung ihrer Komplexitaet. (German)
Braunschweig: Vieweg. 1986. 486 p. 2. rev. ed. [ISBN 3-528-18928-2]
Classification: E35 P25
7
Mathematics in computer science and vice versa. Mathematik in der Informatik und umgekehrt. (English)
Parabola. (1986) v. 22(3) p. 2-8.
Classification: R20 N20
8
Computability, complexity, logic. An introduction to algorithm, languages and calculi with particular consideration of their complexity. Berechenbarkeit, Komplexitaet, Logik. Eine Einfuehrung in Algorithmen, Sprachen und Kalkuele unter besonderer Beruecksichtigung ihrer Komplexitaet. (German)
Braunschweig: Vieweg. 1985. 476 p. [ISBN 3-528-08928-8]
Classification: E35 E45 P25
9
Computer mathematics. Computermathematik. (English)
Cambridge: Cambridge Univ. Press. 1984. 406 p. Ser. Title: Cambridge computer science texts. v. 18. [ISBN 0-521-27324-2]
Classification: P55
10
The computer modelling of mathematical reasoning. Computermodelle mathematischer Beweisfuehrung. (English)
London: Academic Press. 1983. 336 p. [ISBN 0-12-141252-0]
Classification: E55 Q35 R25 E39 E59
11
first | previous | 1 | next | last

Result 1 to 11 of 11 total

Valid XHTML 1.0 Transitional Valid CSS!