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 --
Show details for AAAIAAAI
Show details for AAAI Press [http://www.aaai.org/Press/press.html]AAAI Press [http://www.aaai.org/Press/press.html]
Show details for AAAI Press/ MIT PressAAAI Press/ MIT Press
Show details for AAAI [http://www.aaai.org/Press/press.html]AAAI [http://www.aaai.org/Press/press.html]
Show details for AAAI [http://www.aaai.org/]AAAI [http://www.aaai.org/]
Show details for Academic Conferences LimitedAcademic Conferences Limited
Show details for Academic PressAcademic Press
Show details for Academic Press [http://www.academicpress.com/]Academic Press [http://www.academicpress.com/]
Show details for Academic Press [http://www.apnet.com/]Academic Press [http://www.apnet.com/]
Show details for Academic Press [http://www.elsevier.com]Academic Press [http://www.elsevier.com]
Show details for ACMACM
Show details for ACM SIAM [http://www.acm.org/pubs/]ACM SIAM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/pubs/]ACM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/]ACM [http://www.acm.org/]
Show details for ACTA PressACTA Press
Show details for AG 2 - GanzingerAG 2 - Ganzinger
Show details for Akademie VerlagAkademie Verlag
Show details for ALLIEDALLIED
Show details for AMSAMS
Show details for arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]
Show details for Association for Symbolic LogicAssociation for Symbolic Logic
Hide details for BaltzerBaltzer
Show details for Barth, PeterBarth, Peter
Hide details for Blackburn, PatrickBlackburn, Patrick
1998Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49		Journal Article
Show details for Bockmayr, AlexanderBockmayr, Alexander
Show details for Tzakova, MiroslavaTzakova, Miroslava
Show details for Weidenbach, ChristophWeidenbach, Christoph
Show details for Baltzer [http://www.baltzer.nl/indexnew.asp]Baltzer [http://www.baltzer.nl/indexnew.asp]

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