Filters








289,828 Hits in 5.6 sec

9–Volume Series on Robot Technology (Senior Editor and Consultant, P. Coiffet, University of Montpelier, France; English Language Series Consultant, I. Aleksander, Imperial College, London, U.K.9–Volume Series on Robot Technology Vol. 1, Modelling and Control by P. Coiffet, 1983 (£25) Kogan Page Ltd, 120 Pentonville Road, London N1, U.K.9–volume series on robot technology Vol. 2, Interaction with the Environment by P. Coiffet, 1983 (£30) Kogan Page Ltd, 120 Pentonville Road, London N1, U.K.9–volume series o ...

Tony Owen
1987 Robotica (Cambridge. Print)  
The present volume includes chapters on the Operative Surgery of the Gail-Bladder, Liver and Bile-Ducts; the Intestine ; the Kidney ; Caesarian Section and Extra-Uterine Pregnancy.  ...  quite a book in itself; the Neck, by Wyllys Andrews ; the Thyroid Gland, by Albert Kocher; the Nose and its Accessory Sinuses, by Harmon Smith; the Larynx, Trachea We gladly welcome the second volume  ... 
doi:10.1017/s0263574700009838 fatcat:dac37sgl3rev7lip4e36zxsnim

Page 149 of Mathematical Reviews Vol. 28, Issue 1 [page]

1964 Mathematical Reviews  
5, The algebra of logic ; Chapter 6, Computing and machines; Chapter 7, Logic and circuits; Chapter 8, Logic and the principles of programming; Chapter 9, Human beings and their machines ; Bibliography  ...  Volume I: (1) The digital computer—I; (2) Mathematical topics; (3) Information codes; (4) Logical | caloulus ; (5) The digital computer—II ; (6) ; (7) Reliability (Part 1).  ... 

Preface

Ruy de Queiroz, Angus Macintyre, Guilherme Bittencourt
2006 Electronical Notes in Theoretical Computer Science  
The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete  ...  WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic.  ...  The proceedings is published as a volume in the series Electronic Notes in Theoretical Computer Science (ENTCS ).  ... 
doi:10.1016/j.entcs.2005.06.032 fatcat:bx2bmxq43nb5lnlxey5tllyipe

Publication List of Zoltán Ésik

2017 Acta Cybernetica  
Language, Logic and Computation, 21-26 Sept. 2015, pages 56-58. Georgian Academy of Science, 2015.  ...  Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012, volume 77 of EPTCS, 2012. [7] [8] Erzsébet Csuhaj-Varjú and ZoltánÉsik, editors.  ... 
doi:10.14232/actacyb.23.1.2017.23 fatcat:tpgf7t2sgfdsriwvebwyce3lr4

Logic, Language, Information and Computation

Ruy de Queiroz, Dexter Kozen
2006 Theoretical Computer Science  
automated deduction, foundations of logic programming, logic and computation, and logic engineering. 0304-3975/$ -see front matter  ...  The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete  ...  The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.com/locate/entcs The This volume of Theoretical Computer Science contains the (journal standards refereed) full version of  ... 
doi:10.1016/j.tcs.2006.01.003 fatcat:slecjet4gzep3dnsjzrqs4r57i

Logic, Language, Information and Computation

Ruy de Queiroz, Angus Macintyre
2008 Annals of Pure and Applied Logic  
WoLLIC 2005 This volume contains the peer-reviewed full versions of the contributions presented at the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), held in Florianópolis  ...  The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete  ...  The proceedings were published as volume 143 in the series Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science B.V.  ... 
doi:10.1016/j.apal.2007.11.013 fatcat:v35szgaehjbt7gwmoaddpmeh2m

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics

Hrant.B. Marandjan
1995 Science of Computer Programming  
Volume A Volume A covers a wide spectrum of materials concerning models of computation (including parallel ones), resource bounded computations, algorithmic (in a wide sense) problems in graphs, pattern  ...  SSDl0167-6423(95)00015-7  ...  Volume B Volume B covers a wide field of material concerning automata theory (on finite as well as infinite objects), formal languages, rewrite systems, logic programming, semantic domains, and so on.  ... 
doi:10.1016/0167-6423(95)90009-8 fatcat:fdgrkj45nncg7f4o6jab3lv3em

Page 66 of PE. Professional Engineer Vol. 49, Issue 2 [page]

1979 PE. Professional Engineer  
Computer logic and terminology are introduced in a language the beginner can understand.  ...  Volume 2 w/o binder #15-2 Volume 2 binder #16-0 Volume 3 w/o binder #18-7 Volume 3 binder #19-5 Volume 2 update only Volume 3 update only Volume 2 and 3 updates QUANTITY keer P.O.  ... 

Page 14 of Mathematical Reviews Vol. 41, Issue 1 [page]

1971 Mathematical Reviews  
If there is a LOGIC AND FOUNDATIONS machine M which computes a sequence of the type indi- cated, then V,, is its volume function and 7’, is its time function.  ...  It is said that strategy s—and sequence a—is computable on a tape of volume [time] f if there is an M that computes a(a), such that V(x) <f(x) [7 y(x)<f(x)] for all x in D.  ... 

BSL volume 24 issue 4 Cover and Back matter

2018 Bulletin of Symbolic Logic  
and Marriott Atlanta Marquis, Atlanta, GA, USA, January 6-7, 2017 ......................... 109 2017 North American Annual Meeting of the Association for Symbolic Logic, 2017 .........................  ...  , Sweden, August 14-20, 2017 ................................... 211 The 2017 Annual Conference of the Australasian Association for Logic, University of Adelaide, Australia, July 6-7, in Logic (TACL)  ... 
doi:10.1017/bsl.2018.90 fatcat:sy44v7juvjcahmqg5kaiw6ixdm

Guidelines for Approching Steps of Learning Programmable Logic Controllers in Automation

Dr. Wai Phyo Aung
2018 International Journal of Trend in Scientific Research and Development  
This paper provides both Theory and Programmable logic controller (PLC) in Automation engineering.  ...  According to various manufacturing company, the nature and useful area of PLC may be different and this paper mainly supports step by step approaching methods to be familiar with what is PLC and how PLC  ...  . @ IJTSRD | Available Online @ www.ijtsrd.com | Volume -2 | Issue -4 | May-Jun 2018 ISSN No: 2456 -6470 | www.ijtsrd.com | Volume International Journal of Trend in Scientific Research and Development  ... 
doi:10.31142/ijtsrd15743 fatcat:bhbdnhosuraofpv2hbzkyuftom

Preface, Contents

Cecylia Rauszer
1993 Banach Center Publications  
The present volume contains papers from all four sections, although the majority of papers from Section III (Algebra and Logic in Computer Science) have already appeared in a special issue of Fundamenta  ...  (September 15-October 30), Algebra and Logic in Computer Science (September 15-December 15) and Applications in Physics and in the Theory of Cellular Automata (November 1-December 15).  ... 
doi:10.4064/-28-1-1-7 fatcat:iuaw5kua2re4no5zckcjnh2l6a

IEEE Journal on Exploratory Solid-State Computational Devices and Circuits—Volume 7, No. 1

Azad Naeemi
2021 IEEE Journal on Exploratory Solid-State Computational Devices and Circuits  
W ELCOME to the seventh volume, first semiannual issue of the IEEE JOURNAL ON EXPLORATORY SOLID-STATE COMPUTATIONAL DEVICES AND CIRCUITS (JXCDC), a multidisciplinary, open access IEEE journal that is focused  ...  The journal is for the publication of results unifying the areas of solid-state materials, devices, and circuits for novel computation (logic, memory, and communication) toward the exploration of beyond  ... 
doi:10.1109/jxcdc.2021.3113360 fatcat:x55d7r7hmrdznekxta6oq6fxu4

MSC volume 6 issue 5 Cover and Back matter

1996 Mathematical Structures in Computer Science  
This is the first book dealing with the computational complexity of mathematical problems for which available information is partial, noisy and priced.  ...  . £40.00 HB 0 52155368 7 320 pp. 1996  ...  £27.50 HB 0 52144175 7 216 pp. 1996 Cambridge International Series in Parallel Computation 7 •IS SfsyTnmrliaiion and , ^computational complexity Modal Logic and Process Algebra A Bisimulation  ... 
doi:10.1017/s0960129500070018 fatcat:35dbwzttabbhnp3bktwrqs3nkq

A CLASSIFIED REVIEW ON THE COMBINATION FUZZY LOGIC–GENETIC ALGORITHMS BIBLIOGRAPHY: 1989–1995 [chapter]

O. Cordón, F. Herrera, M. Lozano
1997 Advances in Fuzzy Systems — Applications and Theory  
Japanese Journal of Fuzzy Theory and Systems 7(1): 97{117. 14. Qian Y., Tessier P. J. C., and Dumont G. A. (July 1992) Fuzzy logic based modeling and optimization. In Proc.  ...  Japanese Journal of Fuzzy Theory and Systems 7(2): 233{245. 19. Sakawa M., Utaka J., Inuiguchi M., Shiromaru I., Suginohara N., and Inoue T.  ... 
doi:10.1142/9789814261296_0012 fatcat:emq37i6lfjbi3pnp72fzr5wss4
« Previous Showing results 1 — 15 out of 289,828 results