Jump to main content

yr 〜
yr

Search results 2

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Author Heading...enna, Austria) Demri, Stéphane P., 1967- Kapur, Deepak. Weidenbach, Ch...

15th international symposium on temporal representation and reasoning : TIME 2008 : proceedings : 16-18 June 2008 : Montreal, Quebec, Canada. : Jun 2008, Montreal, Canada.

15th international symposium on temporal representation and reasoning : TIME 2008 : proceedings : 16-18 June 2008 : Montreal, Quebec, Canada. : Jun 2008, Montreal, Canada.
Paper図書
IEEE Computer Societyc2008.<M17-11-2710>
National Diet Library
  • Author Heading...ec à Montréal. Demri, Stéphane P., 1967- Jensen, Christian S., 1963- I...

Reached to the end of result.

RSS