1. DSpace at Haiphong Private University

Browsing by Subject Mathematical Logic and Formal Languages

Jump to: 0-9 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
or enter first few letters:  
Showing results 1 to 20 of 27  next >
Issue DateTitleAuthor(s)
2000Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 ProceedingsCousot, Patrick; Choueiry, Berthe Y.; Walsh, Toby
2007Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. ProceedingsBulitko, Vadim; Miguel, Ian; Ruml, Wheeler
2007Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. ProceedingsXu, Xue-Quan; Huang, De-Shuang; Heutte, Laurent; Loog, Marco
2006Advances in Natural Language Processing: 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 ProceedingsKarlsson, Fred; Salakoski, Tapio
2006AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. ProceedingsMotoda, Hiroshi; Sattar, Abdul; Kang, Byeong-ho
2007Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthdayAvron, Arnon; Zamansky, Anna; Aguzzoli, Stefano
2003Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. ProceedingsEiter, Thomas; Gavaldá, Ricard; Jantke, Klaus P.; Takimoto, Eiji
2006Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. ProceedingsBalcázar, Jose L.; Long, Philip M.; Stephan, Frank
2004Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. ProceedingsMeseguer, José; Roşu, Grigore; Basin, David; Rusinowitch, Michaël
2008Computable models of the law: languages, dialogues, games, ontologiesCasanovas, Pompeu
2007Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited PapersYamada, Tomoyuki; Inoue, Katsumi; Satoh, Ken; Toni, Francesca
2008Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007Steenhuisen, J. Renze; Witteveen, Cees; Zhang, Yingqian; Sadri, Fariba; Satoh, Ken
2005Formal Concept Analysis: Foundations and ApplicationsWille, Rudolf; Ganter, Bernhard; Stumme, Gerd; Wille, Rudolf
2007KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007Albayrak, Sahin; Hertzberg, Joachim; Beetz, Micheal; Englert, Roman
2000Learning Classifier Systems: From Foundations to ApplicationsHolland, John H.
2007Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. ProceedingsMakowsky, Johann A.; Dershowitz, Nachum; Voronkov, Andrei
2000Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 ProceedingsBenthem, Johan van; Ojeda-Aciego, Manuel
2007Machine Learning and Data Mining in Pattern Recognition: 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. ProceedingsJain, Anil K.; Perner, Petra
2003Machine Learning and Data Mining in Pattern Recognition: Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 ProceedingsCraw, Susan; Perner, Petra; Rosenfeld, Azriel
2004Machine Learning: ECML 2004: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. ProceedingsAchlioptas, Dimitris; Boulicaut, Jean-François
Showing results 1 to 20 of 27  next >