Skip to main content
−
Reset
+
日本語
English
Login
セカンダリーメニュー
Access
Contact Us
Donation
HOME
Service
Collections
Books & Journals
QIR
Dissertation
Rare Materials Digital Archive
Nakamura Tetsu Digital Archive
Ownership Seals
Coal Images
HYDROGENIUS Database
Aso Archive
World Contents
Databases
Library Collections
Publications
Digital Exhibitions
Cute.Guides
Libraries
Services
Students and Faculty
Visitors
Libraries
Central Library
Science and Technology Library
Medical Library
Design Library
Chikushi Library
Manuscript Library
Medical Institute of Bioregulation
Learning
Learning
Information for new students
For Good Reports & Presentations
Improve Language Skills / Study Abroad
How to Use the Library
For Book Lovers
Online Contents
Workshops & Events
Cute.Guides
Cuter
Computer System for Education
Online Support
Education
For New Faculty Members
Supports for Active Learning
Workshops
Cute.Guides
Support for KIKAN Education
Collect and Organize of Learning and Educational Books
Use of Facilities for Classes (Central Library)
Recording & Publishing / Educational Resource Development
Computer System for Education
Online Contents
Online Support
Research
Literature & Information
Purchasing Research Materials
Books
Journals
Access to Papers
Cute.E-Journals (AtoZ)
Information on E-Journals Subscription
Access to Non-Subscribed Journals
Interlibrary Loan
Remote Access
Writing & Publishing Papers
Reference Management Tool
APC support information
Caution "predatory journal"!
Open Access Support
Open Access
Kyushu University Open Access Policy
What's Open Access?
QIR
What's QIR?
How to Deposit
KU Publications
Publication of Doctorate Dissertations
Research Data Services
Publication of Research Data
Research Data Management
About Us
Overview
Library Relocation
Research and Development Division
Publications
Original Merchandise
Support the Library
Chronicle of Exhibitions
Department of Library Science
Division of Research Data Service
Division of Next generation Open Education promotion(NOE)
九州地区大学図書館協議会
九州地区図書系二次専門試験
HOME
Automated Stack
Error message
This service is temporarily unavailable because of the system maintenance.
Automated Stack
Back to "Details" page
Submit a request
Pick up Item
Title / Author
Using sophisticated models in resolution theorem proving / David M. Sandford
Volume
: gw
Item ID
026232003070878
Material type
図書
Contact Us
Site Policy
Site search
Service
Collections
Books & Journals
QIR
Dissertation
Rare Materials Digital Archive
Nakamura Tetsu Digital Archive
Ownership Seals
Coal Images
HYDROGENIUS Database
Aso Archive
World Contents
Databases
Library Collections
Publications
Digital Exhibitions
Cute.Guides
Libraries
Services
Students and Faculty
Visitors
Libraries
Central Library
Science and Technology Library
Medical Library
Design Library
Chikushi Library
Manuscript Library
Medical Institute of Bioregulation
Learning
Learning
Information for new students
For Good Reports & Presentations
Improve Language Skills / Study Abroad
How to Use the Library
For Book Lovers
Online Contents
Workshops & Events
Cute.Guides
Cuter
Computer System for Education
Online Support
Education
For New Faculty Members
Supports for Active Learning
Workshops
Cute.Guides
Support for KIKAN Education
Collect and Organize of Learning and Educational Books
Use of Facilities for Classes (Central Library)
Recording & Publishing / Educational Resource Development
Computer System for Education
Online Contents
Online Support
Research
Literature & Information
Purchasing Research Materials
Books
Journals
Access to Papers
Cute.E-Journals (AtoZ)
Information on E-Journals Subscription
Access to Non-Subscribed Journals
Interlibrary Loan
Remote Access
Writing & Publishing Papers
Reference Management Tool
APC support information
Caution "predatory journal"!
Open Access Support
Open Access
Kyushu University Open Access Policy
What's Open Access?
QIR
What's QIR?
How to Deposit
KU Publications
Publication of Doctorate Dissertations
Research Data Services
Publication of Research Data
Research Data Management
About Us
Overview
Library Relocation
Research and Development Division
Publications
Original Merchandise
Support the Library
Chronicle of Exhibitions
Department of Library Science
Division of Research Data Service
Division of Next generation Open Education promotion(NOE)
