Theorem provers in circuit design : :: SCD d'Orléans

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers incl...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	Internatioal conference on theorem provers in circuit design :Bad Herrenalb
Altri autori:	Kumar, Ramayya, 19..- (Direttore editoriale), Kropf, Thomas, 1961- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 901
Soggetti:	Conception assistée par ordinateur Informatique Construction Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Circuits intégrés numériques Microprogrammation Actes de congrès
Accesso online:	Accès sur la plateforme de l'e diteur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem provers in circuit design, theory, practice, and experience, second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, proceedings, Ramayya Kumar, Thomas Kropf, eds, Berlin, Springer-Verlag, 1995, 1 vol. (VIII-303 p.), Lecture notes in computer science, 3-540-59047-1 • Theorem Provers in Circuit Design: Theory, Practice and Experience, Texte imprimé, 9783662172155

Documenti analoghi

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Using sophisticated models in resolution theorem proving
di: Sandford, David M., 19..-

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Analyse mathématique : grands théorèmes du vingtième siècle
di: Choimet, Denis, 19..-, et al.
Pubblicazione: (2009)

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

From logic design to logic programming : theorem proving techniques and P-functions
di: Snyers, Dominique, et al.

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Connaître et reconnaître les théorèmes de la géométrie

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
di: Slind, Konrad

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Eléments de géométrie mécanique
Pubblicazione: (1994)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
di: Baumgartner, Peter, 1953-

Symposium on automatic demonstration : held at Versailles-France, December 1968
Pubblicazione: (1970)

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, october 31-november 3, 2004 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9 12, 1997 : proceedings

Isabelle : a generic theorem prover
di: Paulson, Lawrence C., 1955-...., informaticien

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
di: Miglioli, Pierangelo, 1946-

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings
di: Görz, Günther, 1947-

The computer modelling of mathematical reasoning
di: Bundy, Alan R., 1947-
Pubblicazione: (1983)

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
di: Bundy, Alan R., 1947-

Types for proofs and programs : International Workshop TYPES '94 Båstad, Sweden, June 6 10, 1994 : selected papers

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8 12, 1997 : revised lectures

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
di: McCune, William Walker, 1953-, et al.

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Theory reasoning in connection calculi
di: Baumgartner, Peter, 1953-

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

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

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

A resolution principle for a logic with restricted quantifiers
di: Bürckert, Hans-Jürgen

Correct system design : recent insights and advances
di: Steffen, Bernhard, 1956-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales