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 |  | |
| 02_Baumgartner_Logical_engineering_with_2007.pdf | 101.5 kB | Adobe PDF |  | |
| 03_Baumgartner_Logical_engineering_with_2007.pdf | 144.72 kB | Adobe PDF |  | |
| 04_Baumgartner_Logical_engineering_with_2007.pdf | 28.04 kB | Adobe PDF |  |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 19 May 2020/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
