"Logic Program Synthesis from Incomplete Information"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic Program Synthesis from Incomplete Information	Pierre Flener	1995	Springer US
Logic synthesis /	Devadas, Srinivas.; Ghosh, Abhijit,; Keutzer, Kurt William,	[1994], ©1994.	McGraw-Hill,
Sequential Logic Synthesis	Pranav Ashar; S. Devadas; A. Richard Newton	1992	Springer US
Advanced Logic Synthesis	André Inácio Reis; Rolf Drechsler	1st ed. 2018	Springer International Publishing
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991	Timothy P. Clement; Kung-Kiu Lau	1992	Springer London
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992	Kung-Kiu Lau; Timothy P. Clement	1993	Springer London
Incomplete Information: Structure, Inference, Complexity	Stephane P. Demri; Ewa Orlowska	2002	Springer Berlin Heidelberg
Repeated games with incomplete information /	Aumann, Robert J.; Maschler, Michael,; Stearns, Richard	[1995], ©1995.	MIT Press,
Incomplete Information: Rough Set Analysis	Ewa Orłowska	1998	Physica-Verlag HD
Predation, mergers and incomplete information	Garth Saloner	1985	Department of Economics, Massachusetts Institute of Technology
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993	Yves Deville	1994	Springer London
Logic Synthesis and Verification	Soha Hassoun; Tsutomu Sasao	2002	Springer US
Logic and Architecture Synthesis	Gabriele Saucier; Anne Mignotte	1st ed. 1995	Springer US
Memory-Based Logic Synthesis	Tsutomu Sasao	2011	Springer New York
Logic Synthesis and Optimization	Tsutomu Sasao	1993	Springer US
Logic synthesis and verification /	Hassoun, Soha.; Sasao, Tsutomu,	[2002], ©2002.	Kluwer Academic Publishers,
Reversible Logic Synthesis: From Fundamentals to Quantum Computing	Anas N. Al-Rabadi	2004	Springer Berlin Heidelberg
Unverifiable information,incomplete contracts,and renegotiation	Georg Nl̲deke	1992	Massachusetts Institute of Technology
Dynamics,incomplete information,and industrial economics	Jean-Jacques Laffont; Michel Moreaux	1991	B. Blackwell
Switching Theory for Logic Synthesis	Tsutomu Sasao	1999	Springer US
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Program synthesis from incomplete specifications	Gérard Guiho; Christian Gresse	5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980	Wolfgang Bibel; R. Kowalski	1980	Springer Berlin Heidelberg
Analogical logic program synthesis from examples	Ken Sadohara; Makoto Haraguchi	Machine Learning: ECML-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings	Nada Lavrač; Stefan Wrobel	1995	Springer Berlin Heidelberg
Modal logic and incomplete information	Pascal Ostermann	MFDBS 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings	Joachim Biskup; Janos Demetrovics; Jan Paredaens; Bernhard Thalheim	1988	Springer Berlin Heidelberg
Computation from Incomplete Information		Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised	Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky	2004	Springer
A Logic for Incomplete Sequential Information	Norihiro Kamide	Knowledge-Based and Intelligent Information and Engineering Systems: 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II	Rossitza Setchi; Ivan Jordanov	2010	Springer Berlin Heidelberg
On the logic of incomplete information	Witold Lipski Jr.	Mathematical Foundations of Computer Science 1977: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings	J. Gruska	1977	Springer Berlin Heidelberg
Incomplete Information	Jan Paredaens; Paul De Bra; Marc Gyssens; Dirk Van Gucht	The Structure of the Relational Database Model	Jan Paredaens; Paul De Bra; Marc Gyssens; Dirk van Gucht	1989	Springer Berlin Heidelberg
Incomplete Information	Luis C. Corchón	Theories of Imperfectly Competitive Markets	Luis C. Corchon	2nd ed. 2001	Springer Berlin Heidelberg
Incomplete Information	Eric van Damme	Refinements of the Nash Equilibrium Concept	E. van Damme	1983	Springer Berlin Heidelberg
Incomplete Information	Eric van Damme	Stability and Perfection of Nash Equilibria	Eric van Damme	1987	Springer Berlin Heidelberg
Incomplete Information	Gösta Grahne	Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	2009	Springer US
Incomplete information		International Dictionary of Public Management and Governance	Gambhir Bhatta	2006	Routledge
Incomplete Information		Managerial economics and strategy	Jeffrey M. Perloff; James A. Brander	2020	Pearson Education
Incomplete Information		Managerial economics and business strategy	Michael R. Baye; Jeff Prince	2022	McGraw-Hill Education
Incomplete Information		Microeconomics	Robert S. Pindyck, Daniel L. Rubinfeld	2009	Pearson Education, Inc.
Incomplete Information		Managerial Economics and Strategy (The Pearson Series in Economics)	Jeffrey M. Perloff, James A. Brander	2016	Pearson
Incomplete Information	Oliver Hofmann	Breach of Contract: An Economic Analysis of the Efficient Breach Scenario	Oliver Hofmann	1st ed. 2021	Springer International Publishing
Incomplete Information	Gösta Grahne	Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	2nd ed. 2018	Springer New York
Incomplete Information	Gösta Grahne	Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	0th ed. 2020	Springer New York
Incomplete information		Earnings over the life cycle: the Mincer earnings function and its applications	S. W. Polachek	2008	Now Publishers
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Logic Program Synthesis from Incomplete Information" - similar Books and Chapters