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

عنوان
Fields of logic and computation

پدید آورنده
/ Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

موضوع
Computer science, Mathematics,Information theory,Formal methods (Computer science)

رده
QA76
.
9
.
M35F54
2010

کتابخانه
Central Library, Center of Documentation and Supply of Scientific Resources

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

Central Library, Center of Documentation and Supply of Scientific Resources

تماس با کتابخانه : 04133443834

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
9783642150258

NATIONAL BIBLIOGRAPHY NUMBER

Country Code
IR
Number
E-4894

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
انگلیسی

COUNTRY OF PUBLICATION OR PRODUCTlON

Country of publication
IR

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Fields of logic and computation
General Material Designation
[Book]
Other Title Information
:essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
First Statement of Responsibility
/ Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xiii, 626 p. , ill. , 24 cm.

SERIES

Series Title
(Lecture notes in computer science
Series Title
(Festschrift.)
Volume Designation
; 6300.)

GENERAL NOTES

Text of Note
International conference proceedings.
Text of Note
Festschrift.

NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.

Text of Note
Print

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references.

SERIES

Title
Lecture notes in computer science
Title
Festschrift
Volume Number
6300

TOPICAL NAME USED AS SUBJECT

Computer science, Mathematics
Information theory
Formal methods (Computer science)

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
9
Book number
.
M35F54
2010

ORIGINATING SOURCE

Country
ایران

old catalog

p

BL
1

a
Y

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