Showing
1 - 4
results of
4
for search '
"mathematical theorem"
'
Skip to content
VuFind
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Genre:
Conference papers and proceedings
Reset Filters
Show filters (1)
Genre:
Conference papers and proceedings
Search Results - "mathematical theorem"
Showing
1 - 4
results of
4
for search '
"mathematical theorem"
'
, query time: 0.28s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
Published 1969
Table of Contents:
“
...The use of symbolic logic in proving
mathematical
theorems
by means of a digital computer /...
”
Call Number:
Loading...
Located:
Loading...
Request
Book
2
Inspiration in science and religion /
Published 2012
Call Number:
Loading...
Located:
Loading...
This item is not available through BorrowDirect.
Please contact your institution’s interlibrary loan office for further assistance.
Book
3
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
Published 2004
Table of Contents:
“
... Towards Discerning Inherent Structures in a Digital Library of Formal
Mathematics
--
Theorem
Proving...
”
Call Number:
Loading...
Located:
Loading...
Request
Conference Proceeding
Book
4
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
Published 2004
Table of Contents:
“
... Towards Discerning Inherent Structures in a Digital Library of Formal
Mathematics
--
Theorem
Proving...
”
Call Number:
Loading...
Located:
Loading...
Request
Conference Proceeding
Book
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Book
4
Conference Proceeding
2
Call Number
Q - Science
3
B - Philosophy, Psychology, Religion
1
Author
Asperti, Andrea
2
Bancerek, Grzegorz
2
MKM 2004 Białowieża, Poland
2
Trybulec, Andrzej
2
Bulloff, Jack J
1
Bulloff, Jack J.
1
Gödel, Kurt
1
Gödel, Kurt
1
Hahn, S. W (Samuel Wilfred), 1921-
1
Holyoke, Thomas C
1
Holyoke, Thomas C.
1
Ohio Academy of Science Section L (Mathematical Sciences)
1
see all ...
Language
English
4
Genre
Conference papers and proceedings
Congresses
3
Kongress
3
Electronic books
2
Festschriften
1
Era
2004
1
Region
Białowieża
1
Białowieża (2004)
1
Year of Publication
From:
To:
Loading...