Filters








288,650 Hits in 5.9 sec

Title index to volume 7

1989 The Journal of Logic Programming  
TITLE INDEX TO VOLUME 7  ... 
doi:10.1016/0743-1066(89)90023-x fatcat:wd5re4xh7zfmjfisaf5ij3l5cu

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

Subject index – Volume 51

2002 The Journal of Logic and Algebraic Programming  
Subject Index -Volume 51 (2002) (The issue number is given in front of the page numbers) Abstract data type (2) PII: S 1 5 6 7 -8 3 2 6 ( 0 2 ) 0 0 0 2 7 -9 The Journal of Logic and Algebraic Programming  ...  Formal semantics (1) 43 Formal specification (1) 43 Formal verification (1) 43 Herbrand theorem (1) 1 Hidden algebra (1) 1 JACK (1) 43 Logic programming with objects (1) 1 Markov decision process  ... 
doi:10.1016/s1567-8326(02)00027-9 fatcat:psefnzcthjczvl336xvhrep6ui

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

1979 PE. Professional Engineer  
Programming for Logic Design 8080 Programming for Logic Design 6800 Programming for Logic Design 280 Programming for Logic Design These books describe the meeting ground of pro- grammers and logic designers  ...  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.  ... 

Author index – Volume 51

2002 The Journal of Logic and Algebraic Programming  
PII: S 1 5 6 7 -8 3 2 6 ( 0 2 ) 0 0 0 2 6 -7 www.elsevier.com/locate/jlapThe Journal of Logic and Algebraic Programming 51 175 Ponse, A., Program algebra with unit instruction operators (2) 157 Wilder  ...  Author Index -Volume 51 (2002) (The issue number is given in front of the page numbers) Bergstra, J.A. and I. Bethke, Molecular dynamics (2) 193 Bergstra, J.A. and A.  ... 
doi:10.1016/s1567-8326(02)00026-7 fatcat:4yad5f56rber5efyhnpmns3bkq

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.  ...  Automation purpose is the main application of PLC and the programmers or control supervisors will be able to learn easily with the four levels or steps that perform in this paper.  ...  . @ 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

Front Matter, Table of Contents, Preface, Conference Organization

Ricardo Rocha, Tran Cao Son, Marc Herbstritt
2018 International Conference on Logic Programming  
Finally, we would like to thank our generous gold-tier sponsors -the Association for Logic Programming, the Association for Constraint Programming,  ...  We would also like to thank the staff of the EasyChair conference management system for making the life of the Program Chairs easier.  ...  Our gratitude must be extended to Torsten Schaub, who is serving in the role of President of the Association of Logic Programming (ALP), to all the members of the ALP Executive Committee and to Mirek Truszczyński  ... 
doi:10.4230/oasics.iclp.2017.0 dblp:conf/iclp/X17 fatcat:pay7mcvnijbcpbliwu4cvih4cy

Introduction to the 26th International Conference on Logic Programming Special Issue [article]

Manuel Hermenegildo, Torsten Schaub
2010 arXiv   pre-print
This is the preface to the 26th International Conference on Logic Programming Special Issue  ...  Together, the journal special issue and the volume of short technical communications constitute the proceedings of ICLP.  ...  Whereas such results have appeared to date in standalone volumes of proceedings of the yearly International Conferences on Logic Programming (ICLP), and this method -fully in the tradition of Computer  ... 
arXiv:1008.1710v1 fatcat:46s2t77rfzeenawqsjeis5h6za

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

Hrant.B. Marandjan
1995 Science of Computer Programming  
SSDl0167-6423(95)00015-7  ...  Some of the chapters gladden the reader with lists of open problems. Each of the volumes contains a subject index.  ...  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

Logic, Language, Information and Computation

Ruy de Queiroz, Dexter Kozen
2006 Theoretical Computer Science  
, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, proof complexity  ...  automated deduction, foundations of logic programming, logic and computation, and logic engineering. 0304-3975/$ -see front matter  ...  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

Page 580 of SMPTE Motion Imaging Journal Vol. 93, Issue 6 [page]

1984 SMPTE Motion Imaging Journal  
The SYSLOG Card Logic, for interface of the various audio cards with their controls, is provided by the system logic (SYS- LOG) card (Fig. 7).  ...  Figure 7. Diagram of System Logic (SYSLOG) card. and sub-bass switches, the monitor function may be activated for each input.  ... 

Author Index – Volume 59 (2004)

2004 The Journal of Logic and Algebraic Programming  
-E. (1-2) 5 www.elsevier.com/locate/jlap The Journal of Logic and Algebraic Programming 59 (2004) 89 doi:10.1016/S1567-8326(04)00017-7  ...  Olivier, Generation of abstract programming interfaces from syntax definitions (1-2) 35 Lima, G., see Moreira, A.M. (1-2) 63 Moreau, P.-E. and O.  ... 
doi:10.1016/s1567-8326(04)00017-7 fatcat:cssochmegvd7didp57qqaqnxkm

Using logic models to facilitate comparisons of evaluation theory

Marvin C. Alkin, Anne T. Vo, Mark Hansen
2013 Evaluation and Program Planning  
One such tool is the program logic model.  ...  In this volume, we present logic models representing three theories of evaluation practice: Practical Participatory Evaluation, Values-Engaged Evaluation, and Emergent Realist Evaluation.  ... 
doi:10.1016/j.evalprogplan.2012.03.011 pmid:22480564 fatcat:43pw5d3vjrgl7psjp32k4b7ety

Preface to the special issue on inductive logic programming

James Cussens, Alessandra Russo
2018 Machine Learning  
The papers contained in this volume are extended and thoroughly revised versions of shorter papers which were first presented at the 26th international conference on inductive logic programming (ILP'16  ...  We are pleased to present this special issue of Machine Learning on inductive logic programming (ILP).  ...  The papers contained in this volume are extended and thoroughly revised versions of shorter papers which were first presented at the 26th international conference on inductive logic programming (ILP'16  ... 
doi:10.1007/s10994-018-5720-6 fatcat:ympkct5u7rg5jkcljvvcp2f36e

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).  ... 
« Previous Showing results 1 — 15 out of 288,650 results