Limit search to available items
Result Page   
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 571)
Logic, Symbolic and mathematical
2
E-book
1982

6th Conference on Automated Deduction : New York, USA, June 7-9, 1982


Conference on Automated Deduction (6th : 1982 : New York, N.Y.)



Rating:

 
3
E-book
1984

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings


International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)



Rating:

 
4
E-book
1986

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings


International Conference on Automated Deduction (8th : 1986 : Oxford, England)



Rating:

 
5
E-book
1988

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings


International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)



Rating:

 
6
Book
1996

100% mathematical proof


Garnier, Rowan.

Chichester ; New York : Wiley, [1996]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Gar/Omp  AVAILABLE
7
Book
1983

The acquisition of symbolic skills


NATO Conference on the Acquisition of Symbolic Skills (1982 : University of Keele)

New York : Plenum Press, [1983]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  155.413 Nat  AVAILABLE
9
E-book
2020

Advanced mathematics : a transitional reference


Farlow, Stanley J., 1937- author
First edition
Hoboken, NJ : Wiley, 2020

Rating:

 
12
E-book
2002

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002


Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)



Rating:

 
13
E-book
2005

Advances in logic based intelligent systems : selected papers of LAPTEC 2005


Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan)



Rating:

 
18
E-book
2011

After Gödel : Platonism and rationalism in mathematics and logic


Tieszen, Richard L., 1951-2017, author



Rating:

 
24
E-book
2016

Algebra and computer science




Providence, Rhode Island : American Mathematical Society, [2016]

Rating:

 
25
E-book
2014

Algebraic circuits


Llosis Ruiz, Antonio, author

Heidelberg ; New York : Springer, 2014

Rating:

 
26
E-book
2021

Algebraic perspectives on substructural logics




Cham, Switzerland : Springer, [2021]

Rating:

 
28
Book
1978

Algorithmic aspects of combinatorics




Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.6 Alg  2  AVAILABLE
32
Book
1974

The anatomy of mathematics


Kershner, R. B. (Richard Brandon), 1913-1982.
Second edition
New York : Ronald Press Co., [1974]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  510 Ker  AVAILABLE
34
Book
1985

Anno's hat tricks


Anno, Mitsumasa, 1926-

London ; Sydney : The Bodley Head, 1985

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'BOOL CRC  793.74 Ann/Ant  AVAILABLE
36
E-book
2017

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings


International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)

Cham, Switzerland : Springer, [2017]

Rating:

 
37
E-book
2020

Applications of mathematics and informatics in natural sciences and engineering : AMINSE 2019, Tbilisi, Georgia, September 23-26


International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (4th : 2019 : Tbilisi, Georgia)

Cham : Springer, [2020]

Rating:

 
39
E-book
2020

Architecture of Mathematics


Serovajsky, Simon. Al-Farabi Kazakh National University, Department of Differential Equations and Control Theory, Almaty, Kazakhstan
First edition
[Place of publication not identified] : Chapman and Hall/CRC, 2020

Rating:

 
42
E-book
2021

Arithmetic and algebraic circuits


Llosis Ruiz, Antonio, author

Cham, Switzerland : Springer, [2021]

Rating:

 
49
E-book
2017

Artificial intelligence in medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, proceedings


Conference on Artificial Intelligence in Medicine (2005- ) (16th : 2017 : Vienna, Austria), author

Cham, Switzerland : Springer, [2017]

Rating:

 
Add Marked to Bag Add All On Page
Locate in results
Result Page