Result 1 to 18 of 18 total
Application profiles and tailor-made conformance test systems. (English)
Int. J. IT Stand. Stand. Res. 8, No. 2, 60-73 (2010).
1
Aggregating policies in user centric, real-time and distributed applications (English)
ICITST, 1-6 (2009).
2
Eeds - open specifications facilitate European Academic exchange. (English)
Elektrotech. Informationstech. 122, No. 12, 482-484 (2005).
3
An open abstract framework for modeling interoperability of mobile learning services (English)
EDUTECH, 113-120 (2004).
4
Preface. (English)
Electron. Notes Theor. Comput. Sci. 86, No. 1 (2003).
5
Proceedings of the workshop on mathematics, logic and computation, Valencia, Spain, June 12‒14, 2003. (English)
Electronic Notes in Theoretical Computer Science 85, No. 7. Amsterdam: Elsevier. 147~p., electronic only. (2003).
6
FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12‒14, 2003. (English)
Electronic Notes in Theoretical Computer Science 86, No. 1. Amsterdam: Elsevier. 205~p., electronic only. (2003).
7
Management of informal mathematical knowledge ‒ lessons learned from the Trial-Solution project. (English)
Bai, Fengshan (ed.) et al., Electronic information and communication in mathematics. ICM 2002 international satellite conference, Beijing, China, August 29‒31, 2002. Revised papers. Berlin: Springer (ISBN 3-540-40689-1/pbk). Lect. Notes Comput. Sci. 2730, 29-43 (2003).
8
Developing a service based architecture in the mobilearn E-learning project (English)
LeGE-WG 3 (2003).
9
Software interoperability problems and E-learning (English)
LeGE-WG 2 (2003).
10
Management of informal mathematical knowledge ? lessons learned from the trial-solution project (English)
Electronic Information and Communication in Mathematics, 29-43 (2002).
11
Interpretation of a Mizar-like logic in first order logic. (English)
Caferra, Ricardo (ed.) et al., Automated deduction in classical and non-classical logics. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1761, 137-151 (2000).
12
Automated deduction. A technological point of view. (English)
KI, Künstl. Intell. 12, No. 4, 7-14 (1998).
13
Using automated theorem provers in verification of protocols. (English)
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 195-224 (1998).
14
Lattice-ordered groups in deduction. (English)
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 9-29 (1998).
15
Cooperating theorem provers. (English)
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 9, 383-416 (1998).
16
Interpretation of a mizar-like logic in first-order logic (English)
FTP (LNCS Selection), 137-151 (1998).
17
Publikation mathematischer texte im internet (English)
Herausforderungen an die Wissensorganisation (ISKO Tagung), 181-192 (1997).
18
Result 1 to 18 of 18 total
Start
Contact
Print
General Help
