Jump to main content

yr 〜
yr

Search results 4

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk
Paper図書
Carsten Sinz, Uwe Egly (eds.)Springerc2014
Other Libraries in Japan
  • Author HeadingSinz, Carsten Egly, Uwe International Conference on T...

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
Paper図書
Springer[2014]<M17-15-1591>
National Diet Library
  • Author HeadingSAT 2014 (2014 : Vienna, Austria) Sinz, Carsten. Egly, Uwe, 1960- Kurt Godel Society.

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Paper図書
Uwe Egly, Christian G. Fermüller (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingTABLEAUX Egly, Uwe Fermüller, Christian G.

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-99>
National Diet Library
  • Author HeadingEgly, Uwe, 1960- Fernmüller, Christian ...

Reached to the end of result.

RSS