DSpace JSPUI
            DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
 Learn More 
         
        
     
 
                
                
        
	
	
	
		Browsing  by Subject Formal Languages
	
	
	
	
	
	
	
	
	
	
	
		Showing results 1 to 6 of 6
	
	
	
    
    
	
| Issue Date | Title | Author(s) | 
| 2006 | AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings | Motoda, Hiroshi; Sattar, Abdul; Kang, Byeong-ho | 
| 2000 | Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings | Richter, Michael M. | 
| 2000 | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings | Bryant, Randal E.; German, Steven; Velev, Miroslav N.; Murray, Neil V. | 
| 2017 | Deep Learning with Python. A Hands-on Introduction | Ketkar, Nikhil | 
| 2004 | Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 | Brown, Mark A.; Lomuscio, Alessio; Nute, Donald | 
| 2005 | Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures | Bishop, Christopher M.; Ulusoy, Ilkay; Winkler, Joab; Niranjan, Mahesan; Lawrence, Neil |