Michael Rusinowitch – författare

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

5 produkter

1. 

   Automated Reasoning

   Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

   Av David Basin, Michael Rusinowitch

   Häftad, 2004

   1129 kr

   Lägg i varukorg

   This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in …

2. 

   Automated Reasoning

   Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

   Av Michael Rusinowitch, David Basin

   E-bok, 2004

   1459 kr

   Lägg i varukorg

   This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in …

3. 

   Rewriting Techniques and Applications

   10th International Conference, RTA''99, Trento, Italy, July 2-4, 1999, Proceedings

   Av Michael Rusinowitch, Paliath Narendran

   E-bok, 2003

   755 kr

   Lägg i varukorg

4. 

   Conditional Term Rewriting Systems

   Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

   Av Michael Rusinowitch, Jean-Luc Remy

   Häftad, 1993

   568 kr

   Lägg i varukorg

   This volume contains the papers preesented at the ThirdInternational Workshop on Conditional Term RewritingSystems, held in Pont- -Mousson, France, July 8-10, 1992.Topics covered include conditional rewriting and itsapplications to programming languages, specificationlanguages, automated deduction, …

5. 

   Rewriting Techniques and Applications

   10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

   Av Paliath Narendran, Michael Rusinowitch

   Häftad, 1999

   568 kr

   Lägg i varukorg

   This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as …