Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
4: Output Routines, Tables / Stephan von Bechtolsheim
| 4: Output Routines, Tables / Stephan von Bechtolsheim |
| Autore | Bechtolsheim, Stephan : von |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, c1993 |
| Descrizione fisica | XXXVI, 422 p. ; 25 cm |
| ISBN |
0387975985
3540975985 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0066221 |
Bechtolsheim, Stephan : von
|
||
| New York [etc.], : Springer-Verlag, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
4th IFAC/IFIP International conference on digital computer applications to process control. Zurich, Switzerland, march 19-22, 1974 / Edited by M. Mansour and W. Schaufelberger
| 4th IFAC/IFIP International conference on digital computer applications to process control. Zurich, Switzerland, march 19-22, 1974 / Edited by M. Mansour and W. Schaufelberger |
| Autore | IFAC/IFIP International conference on digital computer applications to process control : <4.; : 1974 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1974 |
| Descrizione fisica | v. 2 ; 24 cm |
| Collana | Lecture notes in economics and mathematical systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003317760203316 |
|
IFAC/IFIP International conference on digital computer applications to process control : <4.; : 1974
|
||
| Berlin [etc.] : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
5 / edited by Yu. G. Borisovich, Yu. E. Gliklikh
| 5 / edited by Yu. G. Borisovich, Yu. E. Gliklikh |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1992 |
| Descrizione fisica | 284 p. ; 25 cm |
| Soggetto topico |
58-XX - Global analysis, analysis on manifolds [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-35-405-5583-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053151 |
| Berlin, : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
6: Integration. 222 p.
| 6: Integration. 222 p. |
| Autore | Engeln |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1996 |
| Descrizione fisica | XXII, 596 p. : 46 fig. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) |
Mullges, Gisela
Uhlig, Frank |
| ISBN | 3-540-60530-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000871190403321 |
|
Engeln
|
||
| Berlin : Springer-Verlag, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
| 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
| Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shostak, Robert E. |
| Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
| ISBN | 3540960228 |
| Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001341109707536 |
|
International conference on automated deduction <7. ; 1984 ; Napa, California>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak
| 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak |
| 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 |
| New York : , : Springer-Verlag, , [1984] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 Proceedings / edited by Ewing Lusk and Ross Overbeek
| 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 Proceedings / edited by Ewing Lusk and Ross Overbeek |
| Autore | Lusk, Ewing |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1988 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-19343-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001099510403321 |
|
Lusk, Ewing
|
||
| Berlin [etc.] : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski
| [Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, c1987- |
| Descrizione fisica | 6 v. ; 28 cm |
| Collana | Perspectives in mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Bibliography of mathematical logic |
| Record Nr. | UNINA-990009132090403321 |
| Berlin ; New York : Springer-Verlag, c1987- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A basic course in algebraic topology / William S. Massey
| A basic course in algebraic topology / William S. Massey |
| Autore | Massey, William S. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1991 |
| Descrizione fisica | XVI, 428 p., 24 cm |
| Disciplina | 514.2 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato | Topologia algebrica |
| ISBN | 0-387-9743o-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001314050403321 |
|
Massey, William S.
|
||
| New York : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
| A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VIII, 220 p. ; 25 cm |
| Altri autori (Persone) |
Moll, Robert N.
Kfoury, A. J. |
| Collana | Texts and monographs in computer science |
| Soggetto non controllato | Computer science - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124570403321 |
|
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pubbl/distr/stampa
-
Springer-Verlag
(17514)
- Higher Education Press (13)
- IFS (8)
- EDP Sciences (6)
- Elsevier Science (6)