MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jacques Calmet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

34 documents found, showing 1 through 10. Next 10 →

ATOM

Some Grand Mathematical Challenges in Mechanized Mathematics
by Jacques Calmet — Calculemus 2003
…Some Grand Mathematical Challenges in Mechanized Mathematics Jacques Calmet ? Institut…
Cited by 1 (0 self) – Add To MetaCart

Proofs in Computational Algebra: An Interface between DTP and MAGMA
by Jacques Calmet, Karsten Homann — 1996 — In RACSAM (Revista Real Academia de Ciencias, Serie A de Matematicas
…, 1996. Proofs in Computational Algebra: An Interface between DTP and MAGMA Jacques Calmet Karsten…
Add To MetaCart

Structures for Symbolic Mathematical Reasoning and Computation
by Karsten Homann, Jacques Calmet — 1996 — Design and Implementation of Symbolic Computation Systems, DISCO'96, number1128 in LNCS
…To appear in J. Calmet, C. Limongelli (Eds.), Proceedings of the International Symposium on Design…
Cited by 12 (2 self) – Add To MetaCart

An Agent framework for Legal Validation of E-Transactions
by Jacques Calmet, Regine Endsuleit — 2004 — In The Law of Electronic Agents, Proceedings of the LEA 04 Workshop, Ed. Claudia Cevenini, Gedit Edizioni
…An Agent Framework for Legal Validation of E-Transactions 1. Introduction Jacques Calmet…
Cited by 2 (0 self) – Add To MetaCart

A Data Structure for Subsumption-Based Tabling in Top-Down Resolution Engines for Data-Intensive Logic Applications
by Jacques Calmet, Peter Kullmann — 1999 — In Z.W.Ras, A.Skowron (Eds.), Foundations of Intelligent Systems, 11th International Symposium, ISMIS'99
…-Intensive Logic Applications Jacques Calmet and Peter Kullmann Institut fur Algorithmen und Kognitive Systeme…
Cited by 2 (2 self) – Add To MetaCart

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems
by Jacques Calmet, Karsten Homann — 1996
… OF COMMUNICATIONANDCOOPERATION MECHANISMS FOR LOGICAL AND SYMBOLIC COMPUTATION SYSTEMS JACQUES CALMET AND KARSTEN HOMANN…
Cited by 10 (4 self) – Add To MetaCart

An Open Environment for Doing Mathematics
by Karsten Homann, Jacques Calmet, J. Calmet — 1995 — Proceedings of 1st International IMACS Conference on Applications of Computer Algebra
…An Open Environment for Doing Mathematics Karsten Homann Jacques Calmet Universitat Karlsruhe…
Cited by 3 (0 self) – Add To MetaCart

Metric on a Statistical Space-Time
by Jacques Calmet, Xavier Calmet — 2004 — WSEAS Trans. on Circuits and Systems, issue
…CALT-68-2485 March 22, 2004 Metric on a Statistical Space-Time Jacques Calmet 1 and Xavier Calmet…
Cited by 1 (1 self) – Add To MetaCart

Design Principles for Secure Integration of Information
by Jacques Calmet, Joachim Schü — 1995 — Interdisciplinary Information Management Talks
…Design Principles for Secure Integration of Information Jacques Calmet, Joachim Schu University…
Cited by 1 (1 self) – Add To MetaCart

Modeling corporate knowledge within the agent oriented abstraction
by Pierre Maret, Jacques Calmet — 2004 — In Proc. of International Conference on Cyberworlds (CW’04
…Modeling Corporate Knowledge within the Agent Oriented Abstraction Pierre Maret and Jacques Calmet…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB