Back to Results
First PageMeta Content
Linz / Antoine Augustin Calmet / Belaid / Michael Kohlhase / Research Institute for Symbolic Computation / Bruno Buchberger / Hagenberg im Mühlkreis / Buchberger


AISC 2004 7th International Conference on
Add to Reading List

Document Date: 2004-02-11 11:40:23

Open Document

File Size: 125,59 KB

Share Result on Facebook

City

Hagenberg / Linz / /

Company

Austria Co / /

Country

Austria / /

Facility

Castle of Hagenberg / /

Organization

Symbolic Computation Theory / Implementations and Applications General Chair Bruno Buchberger Program Committee / /

Person

Jacques Calmet John Campbell Bruce / Michael Beeson Belaid Benhamou Bruno / Jorg Volker Sorge John Stell Carolyn / Jacques Calmet Invited Speakers Alan / Steve Linton John Perram Jochen / William Farmer Jacques Fleuriot Laurent / Wang Wolfgang Windsteiger Proceedings Editors John / Bruno Buchberger Jacques Calmet John / Erica Melis Aart Middeldorp Eric / Jacques Fleuriot Laurent Henocque Tetsuo / John Stell Carolyn Talcott Dongming / Zbigniew Ras / Carolyn Talcott Dongming Wang Wolfgang / John Campbell Jacques Calmet Invited / Tetsuo Ida Michael Kohlhase Erica Melis Aart / John Campbell Bruce Char James / Eric Monfroy Steve Linton John / Laurent Henocque Tetsuo Ida Michael / James Davenport William Farmer Jacques / Markus Rosenkranz Helmut Schwichtenberg Zbigniew / Tomas Eugenio Roanes Lozano / Bruce Char James Davenport William / /

Position

Chair / Farmer / /

Technology

artificial intelligence / /

URL

http /

SocialTag