MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleType
Show details for Barth, PeterBarth, Peter
Show details for Hustadt, UllrichHustadt, Ullrich
Hide details for Kleine Büning, HansKleine Büning, Hans
1995Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72		Proceedings Article
Show details for Schmidt, Renate A.Schmidt, Renate A.
Show details for Struth, GeorgStruth, Georg
Show details for Weidenbach, ChristophWeidenbach, Christoph
Show details for Gesellschaft für Informatik [http://www.gi-ev.de]Gesellschaft für Informatik [http://www.gi-ev.de]
Show details for GIGI
Show details for GMDGMD
Show details for Gordon and BreachGordon and Breach
Show details for Gordon and Breach [http://taylorandfrancis.metapress.com/]Gordon and Breach [http://taylorandfrancis.metapress.com/]
Show details for Heise [http://www.heise.de/]Heise [http://www.heise.de/]
Show details for HermesHermes
Show details for Hermès ScienceHermès Science
Show details for Hermes [http://www.editions-hermes.fr/]Hermes [http://www.editions-hermes.fr/]
Show details for http://rutcor.rutgers.edu/~amaihttp://rutcor.rutgers.edu/~amai
Show details for IBFIIBFI
Show details for IBFI [http://www.dagstuhl.de/DROPS/DagstuhlSeminarProceedings/]IBFI [http://www.dagstuhl.de/DROPS/DagstuhlSeminarProceedings/]
Show details for ICSC Academic PressICSC Academic Press
Show details for IEEEIEEE
Show details for IEEE Computer Society [http://www.computer.org/]IEEE Computer Society [http://www.computer.org/]
Show details for IEEE [http://computer.org/cspress/]IEEE [http://computer.org/cspress/]
Show details for IEEE [http://computer.org/publications/]IEEE [http://computer.org/publications/]
Show details for IEEE [http://www.computer.org/]IEEE [http://www.computer.org/]
Show details for IEEE [http://www.computer.org]IEEE [http://www.computer.org]
Show details for IEEE [http://www.ieee.org/]IEEE [http://www.ieee.org/]
Show details for IJCAIIJCAI
Show details for ILLC Scientific PublicationsILLC Scientific Publications
Show details for Imperial College Department of ComputingImperial College Department of Computing

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)