Michel Parigot – författare

Visar alla böcker från författaren Michel Parigot. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Logic for Programming and Automated Reasoning

   7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

   Av Michel Parigot, Andrei Voronkov

   Häftad, 2000

   550 kr

   Lägg i varukorg

   This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve papers were submitted to LPAR 2000 of which …

2. 

   Logic for Programming and Automated Reasoning

   7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

   Av Andrei Voronkov, Michel Parigot

   E-bok, 2003

   712 kr

   Lägg i varukorg