Autore	Deiser Oliver
Edizione	[2nd ed. 2016.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016
Descrizione fisica	1 online resource (XIII, 355 S. 44 Abb., 1 Abb. in Farbe.)
Disciplina	515
Soggetto topico	Mathematical analysis Analysis (Mathematics) Matrix theory Algebra Discrete mathematics Logic, Symbolic and mathematical Analysis Linear and Multilinear Algebras, Matrix Theory Discrete Mathematics Mathematical Logic and Foundations
ISBN	3-662-47077-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	ger
Nota di contenuto	1 Grundlagen -- 2 Zahlen -- 3 Zahlentheorie -- 4 Diskrete Mathematik -- 5 Lineare Algebra -- 6 Algebra -- 7 Elementare Analysis -- 8 Höhere Analysis -- 9 Topologie und Geometrie -- 10 Numerik -- 11 Stochastik -- 12 Mengenlehre und Logik -- Index.
Record Nr.	UNINA-9910484823003321

Pubbl/distr/stampa	[Place of publication not identified], : IEEE Computer Society Press, 2003
Descrizione fisica	1 online resource (xiv, 393 pages)
Disciplina	004.0151
Soggetto topico	Computer science - Mathematics Logic, Symbolic and mathematical
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996198557603316

Pubbl/distr/stampa	Piscataway, New Jersey : , : IEEE, , [2021]
Descrizione fisica	1 online resource (1218 pages) : illustrations
Disciplina	511.3
Soggetto topico	Logic, Symbolic and mathematical
ISBN	1-66544-895-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Altri titoli varianti	2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Record Nr.	UNINA-9910510601803321

Edizione	[1st ed. 1984.]
Pubbl/distr/stampa	New York : , : Springer-Verlag, , [1984]
Descrizione fisica	1 online resource (VIII, 509 p.)
Disciplina	004.015113
Collana	Lecture Notes in Computer Science
Soggetto topico	Automatic theorem proving Logic, Symbolic and mathematical Computer science
ISBN	0-387-34768-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Universal Unification -- A Portable Environment for Research in Automated Reasoning -- A Natural Proof System Based on Rewriting Techniques -- EKL—A Mathematically Oriented Proof Checker -- A Linear Characterization of NP-Complete Problems -- A Satisfiability Tester for Non-Clausal Propositional Calculus -- A Decision Method for Linear Temporal Logic -- A Progress Report on New Decision Algorithms for Finitely Presented Abelian Groups -- Canonical Forms in Finitely Presented Algebras -- Term Rewriting Systems and Algebra -- Termination of a Set of Rules Modulo a Set of Equations -- Associative-Commutative Unification -- A Linear Time Algorithm for a Subcase of Second Order Instantiation -- A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm -- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering that x 3 = x Implies Ring Commutativity -- A Narrowing Procedure for Theories with Constructors -- A General Inductive Completion Algorithm and Application to Abstract Data Types -- The Next Generation of Interactive Theorem Provers -- The Linked Inference Principle, II: The User’s Viewpoint -- A New Interpretation of the Resolution Principle -- Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving -- Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs -- Analytic and Non-analytic Proofs -- Applications of Protected Circumscription -- Implementation Strategies for Plan-Based Deduction -- A Programming Notation for Tactical Reasoning -- The Mechanization of Existence Proofs of Recursive Predicates -- Solving Word Problems in Free Algebras Using Complexity Functions -- Solving a Problem in Relevance Logic with an Automated Theorem Prover.
Record Nr.	UNISA-996465607703316

Autore	Sidebotham Thomas H (Thomas Hurst), <1939->
Pubbl/distr/stampa	New York, : Wiley-Interscience, c2002
Descrizione fisica	1 online resource (488 p.)
Disciplina	510
Soggetto topico	Mathematics Logic, Symbolic and mathematical
ISBN	1-280-36699-0 9786610366996 0-470-24891-2 0-471-46163-6 0-471-23144-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	The A to Z of Mathematics; Contents; Preface; Acknowledgments; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z
Record Nr.	UNINA-9910143191203321