Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "demonstrates"
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
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
Showing
1
-
20
of
62
Search:
'"demonstrates"'
,
query time: 0.11s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Symposium on Automatic
Demonstration
: Held at Versailles/France, Decembre 1968
Published 1970
Springer Berlin Heidelberg
Table of Contents:
“
...Allocution d'ouverture -- Presentation d'un langage de formalisation des
demonstrations
...
”
Read Now
2
Handbook of automated reasoning, Volume II
by
Robinson, J. A.
Published 2001
Elsevier
Subjects:
“
...Théorèmes /
Démonstration
automatique / Guides, manuels, etc...
”
Call Number:
QA76.9.A96
Read Now
3
Mathematics mechanization and applications
by
Gao, Xiao-Shan
Published 2000
Academic Press
Subjects:
“
...Théorèmes /
Démonstration
automatique...
”
Call Number:
QA218
Read Now
4
Collected Papers of Stig Kanger with Essays on his Life and Work
Published 2001
Springer Netherlands
Table of Contents:
“
... -- Equational Calculi and Automatic
Demonstration
-- Entailment -- The Paradox of the Unexpected Hanging...
”
Read Now
5
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
by
Löh, Clara
Published 2022
Springer International Publishing
“
... (a higher-dimensional generalisation of graph theory). Finally, the book
demonstrates
how current...
”
Read Now
6
Communication complexity : a new approach to circuit depth
by
Karchmer, Mauricio
Published 1989
MIT Press
“
... gives simpler proofs to old results and
demonstrates
the usefulness of the approach by presenting a...
”
Call Number:
QA10.3
Read Now
7
The nuts and bolts of proofs
by
Cupillari, Antonella
Published 2005
Elsevier Academic Press
“
... if the results are forgotten. A flow chart graphically
demonstrates
the basic steps in the construction of any...
”
Call Number:
QA9.54
Read Now
8
PRACTICAL HANDBOOK OF CURVE FITTING
Published 2020
CRC PRESS
“
... to curve fitting. The book
demonstrates
how to analyze World data bases and graph and map the results...
”
Call Number:
QA297.6
Read Now
9
Mobile Social Networking : An Innovative Approach
Published 2014
Springer New York
“
..., human-computer interaction and design, this book
demonstrates
how mobile social networks can be inferred...
”
Read Now
10
The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic
by
Dau, Frithjof
Published 2003
Springer Berlin Heidelberg
“
... in judgements, and existential quantification, the author
demonstrates
that concept graphs with cuts have...
”
Read Now
11
Principles of mathematical modeling
by
Dym, Clive L.
Published 2004
Elsevier Academic Press
Call Number:
QA401
Read Now
12
3rd International Winter School and Conference on Network Science : NetSci-X 2017
Published 2017
Springer International Publishing
“
...
demonstrates
how ideas formulated by authors with different backgrounds are transformed into models, methods...
”
Read Now
13
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
by
Nievergelt, Yves
Published 2015
Springer New York
Read Now
14
Developing with graph algorithms
by
Mark Needham, presenter
Published 2019
O'Reilly Media, Inc.
Call Number:
QA166.245
Read Now
15
Fuzzy Logic in Management
by
Carlsson, Christer
,
Fedrizzi, Mario
,
Fuller, Robert
Published 2004
Springer US
“
...Fuzzy Logic in Management
demonstrates
that difficult problems and changes in the management...
”
Read Now
16
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- AGTIVE’03: Summary from a Tool Builder’s Viewpoint -- Best Presentation and
Demonstration
Awards...
”
Read Now
17
Easy as π? : An Introduction to Higher Mathematics
by
Ivanov, Oleg A.
Published 1999
Springer New York
“
... "higher mathematics," or, more simply, mathematics, and it is this that the author
demonstrates
...
”
Read Now
18
Graph Drawing : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Together ControlCenter and Gentleware Poseidon – System
Demonstration
-- Straight-Line, Circular...
”
Read Now
19
A framework for priority arguments
by
Lerman, M.
Published 2010
Cambridge University Press
“
..., and 3 are chosen to
demonstrate
the framework's use, with all proofs following the same pattern...
”
Call Number:
QA9.54
Read Now
20
Fuzzy Logic : A Framework for the New Millennium
Published 2002
Physica
“
... theory with such a capability. Its applicative effectiveness has been already
demonstrated
through...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
510 - Mathematics
2
512 - Algebra
1
519 - Probabilities & applied mathematics
1
Language
English
62
Collection
Springer Book Archives -2004
24
Springer eBooks 2005-
21
Cambridge Books Online
5
Elsevier eBook collection Mathematics
5
O'Reilly
4
DeGruyter MPG Collection
1
more ...
Emerald Business, Management and Economics eBook Collection Archive
1
MIT Press eBook Archive
1
see all ...
less ...
Author
Dalen, Dirk van
3
Beziau, Jean-Yves
2
Adelson-Velsky, Georgy M.
1
Ali, Faizan
1
Alimov, Alexey R.
1
Arlazarov, Vladimir L.
1
more ...
Arlinghaus, Sandra L.
1
Bajnok, Béla
1
Barzel, Baruch
1
Bishop, E.
1
Brezinski, Claude
1
Brešar, Boštjan
1
Bridges, Douglas
1
Brusco, Michael J.
1
Butler, Ronald W.
1
Böhlen, Boris
1
Carlsson, Christer
1
Chin, Alvin
1
Clarke, Edmund M.
1
Cobanoglu, Cihan
1
Crapo, H.
1
Cupillari, Antonella
1
Dau, Frithjof
1
Dimitrov, Vladimir
1
Dohmen, Klaus
1
Donskoy, M.V.
1
Downey, Rod
1
Dym, Clive L.
1
Díaz Cardell, Sara
1
Eddy, William
1
Eklund, Peter
1
Ellis-Monaghan, Joanna A.
1
Fedrizzi, Mario
1
Fuller, Robert
1
Fúster-Sabater, Amparo
1
Galatos, Nikolaos
1
Gao, Xiao-Shan
1
Garrido, José M.
1
Greenberg, Noam
1
Henning, Michael A.
1
Herzberg, Frederik S.
1
Hoffman, Frederick
1
Holland, W.C.
1
Holliday, Sarah
1
Holmström-Hintikka, Ghita
1
Höhle, Ulrich
1
Indrzejczak, Andrzej
1
Ivanov, Oleg A.
1
Karchmer, Mauricio
1
Klavžar, Sandi
1
Kleinberg, Samantha
1
Korotkich, Victor
1
Kubrusly, Carlos S.
1
Kurshan, Robert P.
1
Lacombe, D.
1
Laudet, M.
1
Lehnert, Judith
1
Lerman, M.
1
Lindström, Sten
1
Liotta, Guiseppe
1
Löh, Clara
1
Mark Needham, presenter
1
Martínez, Jorge
1
Mockor, J.
1
Mockus, Jonas
1
Moffatt, Iain
1
Montagna, Franco
1
Nagl, Manfred
1
Nievergelt, Yves
1
Nolin, L.
1
Novák, Vilém
1
Paulusma, Daniël
1
Perfilieva, Irina
1
Pfaltz, John L.
1
Puzis, Rami
1
Rall, Douglas F.
1
Rasoolimanesh, S. Mostafa
1
Redivo Zaglia, Michela
1
Reklaitis, Gintaras
1
Ries, Bernard
1
Robinson, J. A.
1
Rodabaugh, S.E.
1
Rosen, Zvi
1
Sawicki, Jakub
1
Schreiner, Wolfgang
1
Schützenberger, M.
1
Senato, D.
1
Shahrokhi, Farhad
1
Shmueli, Erez
1
Sliwinski, R.
1
Smullyan, Raymond R.
1
Stahl, Stephanie
1
Tao, Terence
1
Tsar’kov, Igor’ G.
1
Von Plato, Jan
1
Voronkov, Andrei
1
Vu, Van
1
Wang, Dongming
1
Woźny, Jacek
1
Zhang, Daqing
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=%22demonstrates%22&type=AllFields
Send by Email
×
Loading...