Author : Lev D. Beklemishev
Publisher : Elsevier
Page : 405 pages
File Size : 48,54 MB
Release : 2000-04-01
Category : Mathematics
ISBN : 008095507X
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author : Lev D. Beklemishev
Publisher : Springer
Page : 330 pages
File Size : 45,10 MB
Release : 2015-09-05
Category : Computers
ISBN : 3319235346
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).
Author :
Publisher :
Page : 1032 pages
File Size : 24,60 MB
Release :
Category : Union catalogs
ISBN :
Includes entries for maps and atlases.
Author :
Publisher :
Page : 516 pages
File Size : 12,60 MB
Release : 1980
Category : United States
ISBN :
Author :
Publisher :
Page : 1814 pages
File Size : 39,18 MB
Release : 1985
Category : Monographic series
ISBN :
Vols. for 1980- issued in three parts: Series, Authors, and Titles.
Author :
Publisher : R. R. Bowker
Page : 1286 pages
File Size : 28,17 MB
Release : 1981
Category : United States
ISBN :
Author :
Publisher :
Page : 590 pages
File Size : 42,69 MB
Release : 1980
Category : Latin America
ISBN :
Author : British Library. Lending Division
Publisher :
Page : 856 pages
File Size : 24,33 MB
Release : 1980
Category : Conference proceedings
ISBN :
Author :
Publisher :
Page : 1374 pages
File Size : 17,2 MB
Release : 1982
Category : Science
ISBN :
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.
Author :
Publisher :
Page : 2852 pages
File Size : 35,10 MB
Release : 1981
Category : American literature
ISBN :
A world list of books in the English language.
