• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

پدید آورنده
Fahiem Bacchus, Toby Walsh )eds.(

موضوع
Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده
QA
76
.
L28
Vol
.
3569

کتابخانه
Library of Institute for Research in Fundamental Sciences

محل استقرار
استان: Tehran ـ شهر: Tehran

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 22291812-021

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
First Statement of Responsibility
Fahiem Bacchus, Toby Walsh )eds.(

EDITION STATEMENT

Statement of Responsibility Relating to Edition
2005 : St. Andrews, Scotland

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
2005

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xii, 492 p.: ill

SERIES

Other Title Information
Lecture notes in computer science; 9653

GENERAL NOTES

Text of Note
Includes bibliographies
Text of Note
ISBN: 3540262768

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
Congresses ، Propositional calculus
Entry Element
Congresses ، Decision making
Entry Element
Congresses ، Computer algorithms

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
L28
Vol
.
3569

OTHER CLASS NUMBERS

Class number
NO

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU

AU Bacchus, Fahiem
AU Walsh, Toby
TI
SE

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

Entry Element
SAT

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival