Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Author="Ledesma, Luis de"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

An interpretation of the propositional Boolean algebra as a k-algebra. effective calculus Publikation auswählen
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-MacĂ­as

Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)
Lecture Notes in Computer Science 958 , 1995, pp. 255-263

Editors  Jacques Calmet, John A. Campbell
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest