Category: sohlen-set
PROCEEDINGS OF THE 7TH AND 8TH ASIAN LOGIC CONFERENCES - DOWNEY ROD ET AL
AUTHOR AFFILIATION : VICTORIA UNIV OF WELLINGTON, NEW ZEALAND PUB DATE : 11-Nov-03 ONLINE RELE
View DetailsCOMPUTER AIDED AND INTEGRATED MANUFACTURING SYSTEMS (A 5-VOLUME SET) - VOLUME 5: MANUFACTURING PROCESSES - LEONDES CORNELIUS T
AUTHOR AFFILIATION : UCLA, USA PUB DATE : 29-Sep-03 ONLINE RELEASE DATE : 12-Nov-09 Print I
View DetailsCOMPUTER AIDED AND INTEGRATED MANUFACTURING SYSTEMS (A 5-VOLUME SET) - VOLUME 4: COMPUTER AIDED DESIGN / COMPUTER AIDED MANUFACTURING (CAD/CAM) - LEONDES CORNELIUS T
AUTHOR AFFILIATION : UCLA, USA PUB DATE : 6-Oct-03 ONLINE RELEASE DATE : 12-Nov-09 Print IS
View DetailsMATHEMATICAL LOGIC IN THE 20TH CENTURY - SACKS GERALD E
AUTHOR AFFILIATION : HARVARD UNIV & MASSACHUSETTS INST OF TECH, USA PUB DATE : 13-Aug-03 ONLIN
View DetailsCOMPUTER AIDED AND INTEGRATED MANUFACTURING SYSTEMS (A 5-VOLUME SET) - VOLUME 3: OPTIMIZATION METHODS - LEONDES CORNELIUS T
AUTHOR AFFILIATION : UCLA, USA PUB DATE : 14-Aug-03 ONLINE RELEASE DATE : 12-Nov-09 Print I
View DetailsCOMPUTER AIDED AND INTEGRATED MANUFACTURING SYSTEMS (A 5-VOLUME SET) - VOLUME 1: COMPUTER TECHNIQUES - LEONDES CORNELIUS T
AUTHOR AFFILIATION : UCLA, USA PUB DATE : 5-Aug-03 ONLINE RELEASE DATE : 12-Nov-09 Print IS
View DetailsCOMPUTER AIDED AND INTEGRATED MANUFACTURING SYSTEMS (A 5-VOLUME SET) - VOLUME 2: INTELLIGENT SYSTEMS TECHNOLOGIES - LEONDES CORNELIUS T
AUTHOR AFFILIATION : UCLA, USA PUB DATE : 5-Aug-03 ONLINE RELEASE DATE : 12-Nov-09 Print IS
View DetailsESSAYS ON NON-CLASSICAL LOGIC - WANSING HEINRICH
AUTHOR AFFILIATION : DRESDEN UNIV OF TECH, GERMANY PUB DATE : 25-Sep-01 ONLINE RELEASE DATE :
View DetailsGOLDEN AGE OF THEORETICAL PHYSICS, THE (BOXED SET OF 2 VOLS) - MEHRA JAGDISH
AUTHOR AFFILIATION : USA PUB DATE : 28-Feb-01 ONLINE RELEASE DATE : 15-Jun-10 Print ISBN 13
View DetailsCOLLECTED WORKS OF LARRY WOS, THE (IN 2 VOLS), VOL I: EXPLORING THE POWER OF AUTOMATED REASONING; VOL II: APPLYING AUTOMATED REASONING TO PUZZLES, PROBLEMS, AND OPEN QUESTIONS - WOS L
AUTHOR AFFILIATION : ARGONNE NAT'L LAB PUB DATE : 21-Jan-00 ONLINE RELEASE DATE : 22-Sep-09
View DetailsSELECTED LOGIC PAPERS - SACKS G E
AUTHOR AFFILIATION : HARVARD UNIV, USA PUB DATE : 6-Jul-99 ONLINE RELEASE DATE : 22-Nov-10
View DetailsTRANSFORMATION GROUPS AND INVARIANT MEASURES: SET-THEORETICAL ASPECTS - KHARAZISHVILI A B
AUTHOR AFFILIATION : TBLISI STATE UNIV, GEORGIA PUB DATE : 5-Oct-98 ONLINE RELEASE DATE : 8-Ja
View Details