Background math for a computer world

Selections from 1990 IEEE Symposium on Logic in Computer Science
Veröffentlicht: (1993)

Logik, Automaten, Algorithmen
Veröffentlicht: (1967)

Algorithmic logic
von: Mirkowska, Grażyna, et al.
Veröffentlicht: (1987)

Continuity, Computability, Constructivity: from Logic to Algorithms
Veröffentlicht: (2012)

Algorithmen der mathematischen Logik und einige ihrer Erweiterungen
von: Cunderlik, Vendelin Alexander
Veröffentlicht: (1985)

The discrete math workbook a companion manual using Python
von: Kurgalin, Sergei ca. 20./21. Jahrhundert, et al.
Veröffentlicht: (2020)

An introduction to computer science and algorithmic processes
von: Walker, Terry M. 1938-, et al.
Veröffentlicht: (1971)

Algorithms for computer algebra
von: Geddes, Keith O., et al.
Veröffentlicht: (1992)

Procedural elements for computer graphics
von: Rogers, David F.
Veröffentlicht: (1985)

Procedural elements for computer graphics
von: Rogers, David F.
Veröffentlicht: (1989)

Applied logic for computer scientists computational deduction and formal proofs
von: Ayala-Rincón, Mauricio
Veröffentlicht: (2017)

Algorithmen kompakt und verständlich Lösungsstrategien am Computer
von: Rimscha, Markus von
Veröffentlicht: (2010)

Algorithmen kompakt und verständlich Lösungsstrategien am Computer
von: Rimscha, Markus von
Veröffentlicht: (2014)

Algorithmen kompakt und verständlich Lösungsstrategien am Computer
von: Rimscha, Markus von
Veröffentlicht: (2008)

Algorithmen kompakt und verständlich Lösungsstrategien am Computer
von: Rimscha, Markus von
Veröffentlicht: (2014)

Algorithmen kompakt und verständlich Lösungsstrategien am Computer
von: Rimscha, Markus von
Veröffentlicht: (2010)

Fuzzy neural networks for real time control applications concepts, modeling and algorithms for fast learning
von: Kayacan, Erdal, et al.
Veröffentlicht: (2016)

Modern computer algebra
von: Zur Gathen, Joachim von, et al.
Veröffentlicht: (1999)

Computer graphics in India
Veröffentlicht: (1993)

Modern computer algebra
von: Zur Gathen, Joachim von
Veröffentlicht: (2003)

Algorithms for computer algebra
von: Geddes, Keith O. 1947-, et al.
Veröffentlicht: (1992)

Handbook of theoretical computer science
Veröffentlicht: (1992)

Handbook of theoretical computer science
Veröffentlicht: (1990)

The art of computer programming
von: Knuth, Donald Ervin 1938-
Veröffentlicht: (2022)

Computer-based probabilistic-network construction
von: Herskovits, Edward
Veröffentlicht: (1991)

Decision procedures an algorithmic point of view
von: Kroening, Daniel, et al.
Veröffentlicht: (2010)

Essential algorithms a practical approach to computer algorithms
von: Stephens, Rod 1961-
Veröffentlicht: (2013)

A First-order logic membership algorithm with an application to query processing
von: Asgari, Djamshid
Veröffentlicht: (1983)

Mathematical logic, the theory of algorithms and the theory of sets dedicated to academician Petr Sergeevič Novikov on his seventieth birthday
Veröffentlicht: (1977)

Mathematical logic, the theory of algorithms and the theory of sets (Matematičeskaja Logika, teorija algoritmov i teorija množestv, engl.)
Veröffentlicht: (1977)

The advent of the algorithm the idea that rules the world
von: Berlinski, David 1942-
Veröffentlicht: (2000)

An algorithm for obtaining the minimal polynomial and a Jordan canonical form for an NXN matrix
von: Spencer, Guilford L.
Veröffentlicht: (1969)

Tracking and data fusion a handbook of algorithms
von: Bar-Shalom, Yaakov 1941-, et al.
Veröffentlicht: (2011)

Logic, automata, and algorithms
Veröffentlicht: (1971)

Proceedings of the thirteenth annual ACM-SIAM Symposium on Discrete Algorithms [San Francisco, CA, January 6 - 8, 2002]
Veröffentlicht: (2002)

Algorithms - ESA '99 7th annual European symposium, Prague, Czech Republic, July 16 - 18, 1999 ; proceedings
Veröffentlicht: (1999)