Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Record no. 5742)

000 -LEADER
fixed length control field 00561nmm a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230125s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789401704373
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Wolfgang Bibel, P.H. Schmitt
245 #0 - TITLE STATEMENT
Title Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
250 ## - EDITION STATEMENT
Edition statement 1998
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer Netherlands
Date of publication, distribution, etc. 1998
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Applied Logic Series
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics and Statistics
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-94-017-0437-3">https://doi.org/10.1007/978-94-017-0437-3</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS ICTS 01/25/2023 EBK2507 01/25/2023 https://doi.org/10.1007/978-94-017-0437-3 01/25/2023 electronic book