Titlebook: Logic Programming in Action; Second International G. Comyn,N. E. Fuchs,M. J. Ratcliffe Conference proceedings 1992 Springer-Verlag Berlin H

會(huì)議

GUMP

Peter Reintjesorm force-generating movements along filamentous microtubules. Members of this family of microtubule motors are vital for numerous cellular activities, such as organelle transport and chromosome segregation. Kinesin-related proteins are not only linked by function, but each family member shares a si

嘴唇可修剪

Alan Bundyis crucial for the last phases of cytokinesis, where it interacts with protein regulating cytokinesis 1 (PRC1), citron kinase (CIT) and supervillin to mediate formation of the cleavage furrow. However its importance in cancer is perhaps better characterized than its cell biology, and has generated m

窗簾等

Outshine

978-3-540-55930-6Springer-Verlag Berlin Heidelberg 1992

桶去微染

Logic Programming in Action978-3-540-47312-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

constitutional

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587922.jpg

整理

https://doi.org/10.1007/3-540-55930-2Processing; Prolog; databases; expert system; formal language; logic; mathematical logic; programming; progr

inferno

Software formal specification by logic programming: The example of standard Prolog,The aim of this presentation is to show how logic programming can be used to make formal specifications. This approach is illustrated by the project of standard ., as discussed in the ISO working group, which has been completely described by a formal specification.

ADORN