Mario Rodriguez-Artalejo – författare
Visar alla böcker från författaren Mario Rodriguez-Artalejo. Handla med fri frakt och snabb leverans.
5 produkter
Computer Science Logic
13th International Workshop, CSL''99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Av Mario Rodriguez-Artalejo, Jorg Flum
E-bok, 2003
734 kr
Lägg i varukorg
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the …
Automata, Languages and Programming
18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings
Av Javier Leach Albert, Burkhard Monien m. fl.
Häftad, 1991
1126 kr
Lägg i varukorg
This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important …
Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Av Giorgio Levi, Mario Rodriguez-Artalejo
Häftad, 1994
566 kr
Lägg i varukorg
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic …
Algebraic and Logic Programming
5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Av Michael Hanus, Mario Rodriguez-Artalejo
Häftad, 1996
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an …
Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Av Jörg Flum, Mario Rodriguez-Artalejo
Häftad, 1999
566 kr
Lägg i varukorg
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the …
