Custom computer architectures for logic programming

Custom computer architectures for logic programming

Bibliographic Details
Main Author:	Fidjeland, Andreas Kirkeby
Published:	Imperial College London 2007
Subjects:	005.115
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.439777

Similar Items

Unifying programming paradigms : logic programming and finite state automata
by: Bird, Philip
Published: (2000)

Nonmonotonic inductive logic programming as abductive search
by: Corapi, Domenico
Published: (2012)

Learning definite and normal logic programs by induction on failure
by: Kimber, Timothy
Published: (2012)

Static analysis for detecting and avoiding floating-point run-time errors in logic programs
by: Nunez Fontarnau, Javier
Published: (2006)

Agents and constraint logic
by: Chalmers, Stuart W.
Published: (2004)

Programming uncertain agents
by: Ferreira, Nivea de Carvalho
Published: (2006)

Run-time monitoring of goal-oriented requirements specification
by: Dingwall-Smith, Andrew Ross
Published: (2006)

Επαγωγικός λογικός προγραμματισμός και Progol : προβλήματα εκμάθησης γραμματικής
by: Πετρόπουλος, Κωνσταντίνος
Published: (2012)

Επαγωγικός λογικός προγραμματισμός και Progol
by: Παπαϊωάννου, Αλκαίος
Published: (2010)

Sémantique géométrique pour la calculabilité asynchrone
by: Ledent, Jérémy
Published: (2019)

Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση
by: Καραμουτζογιάννη, Ζωή
Published: (2012)

The impact of financial inclusion on mental health
by: Joseph B. Ajefu, et al.
Published: (2020-08-01)

The ownership of time : culture, property and social theory
by: Flessas, Tatiana
Published: (2003)

Transitions from the physics of time to temporal metaphysics
by: Retallick, Gary George
Published: (2006)

The temporal basis of autonomy : philosophical foundations for a politics of time
by: Clancy, Craig
Published: (2006)

Some philosophical problems about time
by: Chapman, Tobias
Published: (1971)

Temporal minimalism : the metaphysics of time and temporality
by: Tallant, Jonathan C.
Published: (2005)

Time, tense, and modality : a study of branching time
by: Malpass, Alex P.
Published: (2011)

Effervescent presentism : an outline and defence
by: Pezet, Robert Edward
Published: (2015)

On the cause of anomalous determinations of time
by: Madwar, M. R.
Published: (1926)

Applications of Foundational Proof Certificates in theorem proving
by: Blanco Martínez, Roberto
Published: (2017)

A computational model for logic programming languages and its supporting architecture
by: Wang, Jiwei
Published: (1991)

Computer architectures for functional and logic languages
by: Millichamp, Roger Charles
Published: (1983)

The role of factor VIII and regulation of thrombin generation
by: Khan, Ayesha Riza
Published: (2007)

Reconciling liberal democratic citizenship values with traditional Arab societies : the case of Jordan
by: Abdel-Nour, Kamal Iskandar
Published: (2007)

Space, time and transcendence : Karl Heim's philosophy of spaces at the encounter of natural science and theology
by: Pratz, Gunther
Published: (2002)

Role of transglutaminases in model thrombus stability
by: Koikkalainen, Janne Santeri
Published: (2006)

Effect of the 'Experience Democracy' programme on the attitudes towards democracy of middle school students in Israel
by: Zemach, Meir
Published: (2006)

Citizenship in school
by: Watchorn, Emma-Jane
Published: (2005)

Carbon based nanomaterials for future microelectronics
by: Balakrishnapillai, Premlal
Published: (2013)

The interaction of graphene with high-frequency acoustic and electromagnetic waves
by: Miseikis, Vaidotas
Published: (2012)

Development of nanostructured surfaces for the immobilisation of enzymes on screen printed biosensors
by: Pchelintsev, Nikolay Andreevich
Published: (2008)

The sonoelectrochemical synthesis of silver nanoparticles and their applications to SERS
by: Ritson, David R.
Published: (2008)

Relativistic radio jets in our galaxy
by: Miller-Jones, James
Published: (2004)

Dark energy and cluster lensing of quasars
by: Lopes, Ana Margarida
Published: (2004)

The effects of heparin and related molecules on inflammatory cell function
by: Smailbegovic, Amir
Published: (2004)

Apathetic or disempowered : the educational challenge of engaging young people in active citizenship
by: Warwick, Paul Neil
Published: (2004)

Domain wall pinning in patterned NiFe nanowires
by: Ding, An
Published: (2012)

The law and politics of gender in transition : a feminist exploration of transitional justice in Chile, Northern Ireland and Colombia
by: O'Rourke, Catherine
Published: (2009)

Organic-inorganic nano-composites for large area device applications
by: Alshammari, Abdullah S.
Published: (2013)