Logical engineering with instance-based methods
Collections | ANU Research Publications |
---|---|
Date published: | 2007 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/50272 |
Source: | Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Baumgartner_Logical_engineering_with_2007.pdf | 164.84 kB | Adobe PDF | Request a copy | |
02_Baumgartner_Logical_engineering_with_2007.pdf | 101.5 kB | Adobe PDF | Request a copy | |
03_Baumgartner_Logical_engineering_with_2007.pdf | 144.72 kB | Adobe PDF | Request a copy | |
04_Baumgartner_Logical_engineering_with_2007.pdf | 28.04 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 20 July 2017/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator