1980, English, Conference Proceedings edition: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski. Conference on Automated Deduction (5th : 1980 : Les Arcs, France)

User activity

Send to:
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
 
Bookmark: http://trove.nla.gov.au/version/45242538
Physical Description
  • vii, 385 p. ; 24 cm.
Published
  • Berlin ; New York : Springer-Verlag, 1980.
Language
  • English

Edition details

Title
  • 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /​ edited by W. Bibel and R. Kowalski.
Creator
  • Conference on Automated Deduction (5th : 1980 : Les Arcs, France)
Other Creators
  • Kowalski, Robert.
  • Bibel, W., 1938-
Published
  • Berlin ; New York : Springer-Verlag, 1980.
Physical Description
  • vii, 385 p. ; 24 cm.
Series
Subjects
Notes
  • Includes bibliographies.
Language
  • English
ISBN
  • 0387100091 (U.S. : pbk.)
Dewey Number
  • 511.3
Libraries Australia ID
Contributed by
Libraries Australia

Get this edition

Freely available

None of your libraries hold this item.

These 7 locations in All:

Library Access Call number(s) Formats held Language
CAVAL. CARM Centre. May not be open to the public brn.160890; Held Conference Proceedings English
Edith Cowan University. Edith Cowan University Library. Open to the public 710048; =MT LAWLEY...511.3 CON copies:1 <710048> Conference Proceedings English
Monash University. Monash University Library. Open to the public H 001.64 C748.1/5 Conference Proceedings English
RMIT University. RMIT University Library. Open to the public 205093; held Conference Proceedings English
The University of Sydney. University of Sydney Library. Open to the public Conference Proceedings English
University of New England. Dixson Library. Open to the public 4471-73060; 511.3/C748F <4471-73060> Conference Proceedings English
University of South Australia. University of South Australia Library. Open to the public 311521; held Conference Proceedings English
Show 0 more libraries...
None of your libraries hold this item.

These 2 locations in New South Wales:

Library Access Call number(s) Formats held Language
The University of Sydney. University of Sydney Library. Open to the public Conference Proceedings English
University of New England. Dixson Library. Open to the public 4471-73060; 511.3/C748F <4471-73060> Conference Proceedings English
Show 0 more libraries...
None of your libraries hold this item.
None of your libraries hold this item.

This single location in South Australia:

Library Access Call number(s) Formats held Language
University of South Australia. University of South Australia Library. Open to the public 311521; held Conference Proceedings English
Show 0 more libraries...
None of your libraries hold this item.

These 3 locations in Victoria:

Library Access Call number(s) Formats held Language
CAVAL. CARM Centre. May not be open to the public brn.160890; Held Conference Proceedings English
Monash University. Monash University Library. Open to the public H 001.64 C748.1/5 Conference Proceedings English
RMIT University. RMIT University Library. Open to the public 205093; held Conference Proceedings English
Show 0 more libraries...
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment