Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Fields of Logic and Computation II
Author: Lev D. Beklemishev
Publisher: Springer
ISBN: 3319235346
Category : Computers
Languages : en
Pages : 330
Book Description
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
Publisher: Springer
ISBN: 3319235346
Category : Computers
Languages : en
Pages : 330
Book Description
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Weekly Record
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 516
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 516
Book Description
Books in Series
Author:
Publisher:
ISBN:
Category : Monographic series
Languages : en
Pages : 1814
Book Description
Vols. for 1980- issued in three parts: Series, Authors, and Titles.
Publisher:
ISBN:
Category : Monographic series
Languages : en
Pages : 1814
Book Description
Vols. for 1980- issued in three parts: Series, Authors, and Titles.
American Book Publishing Record
Author:
Publisher: R. R. Bowker
ISBN:
Category : United States
Languages : en
Pages : 1286
Book Description
Publisher: R. R. Bowker
ISBN:
Category : United States
Languages : en
Pages : 1286
Book Description
Latin America in Books
Author:
Publisher:
ISBN:
Category : Latin America
Languages : en
Pages : 590
Book Description
Publisher:
ISBN:
Category : Latin America
Languages : en
Pages : 590
Book Description
Index of Conference Proceedings Received
Author: British Library. Lending Division
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 856
Book Description
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 856
Book Description
Pure and Applied Science Books, 1876-1982
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1374
Book Description
Over 220,000 entries representing some 56,000 Library of Congress subject headings. Covers all disciplines of science and technology, e.g., engineering, agriculture, and domestic arts. Also contains at least 5000 titles published before 1876. Has many applications in libraries, information centers, and other organizations concerned with scientific and technological literature. Subject index contains main listing of entries. Each entry gives cataloging as prepared by the Library of Congress. Author/title indexes.
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1374
Book Description
Over 220,000 entries representing some 56,000 Library of Congress subject headings. Covers all disciplines of science and technology, e.g., engineering, agriculture, and domestic arts. Also contains at least 5000 titles published before 1876. Has many applications in libraries, information centers, and other organizations concerned with scientific and technological literature. Subject index contains main listing of entries. Each entry gives cataloging as prepared by the Library of Congress. Author/title indexes.
The Cumulative Book Index
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2852
Book Description
A world list of books in the English language.
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2852
Book Description
A world list of books in the English language.