Your search returned 29 results.

Sort
Results
Multiparadigm programming in Leda by
Material type: Text Text; Literary form: Not fiction
Publication details: Reading : [S.n.], c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.LED BUD .

Micro-PROLOG : programming in logic by Series: International series in computer science
Material type: Text Text; Literary form: Not fiction
Publication details: Englewood Cliffs : [S.n.], c1984
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.PRO CLA .

Logic, algebra and databases by Series: Ellis Horwood series in computer and their applications ; 29
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Chichester : Ellis Horwood, 1984
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: H.2.3 GRA .

Logic programming and non-monotonic reasoning : proceedings of the First International Workshop by
Material type: Text Text; Literary form: Not fiction
Publication details: Cambridge : [S.n.], c1991
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.2.3 LOG.

Parallel logic programming techniques by
Material type: Text Text; Literary form: Not fiction
Publication details: Englewood Cliffs : [S.n.], c1989
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.1.6 TAY .

Programación lógica y funcional by Series: Colección EBAI
Material type: Text Text; Literary form: Not fiction
Publication details: [S.l.] : [S.n.], 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.1.6 VID , ...

A Prolog primer by
Material type: Text Text; Literary form: Not fiction
Publication details: Reading : [S.n.], 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.PRO ROG .

Paradigmas de linguagens de programaçao by Series: Colección EBAI
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Campinas : UNICAMP, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.3 FUR , ...

The journal of logic programming by
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], 1984-2000
Other title:
  • J. log. program.
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Inteligencia artificial aplicada : lógica y representación del conocimiento by
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Campinas : UNICAMP, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.2 GOL .

Implementations of Prolog / Editor: J.A. Campbell by Series: Artificial Intelligence
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Chichester : Ellis Horwood, 1984
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.PRO CAM.

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings by Series: Lecture notes in computer science ; 1181
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 INT96.

Logic program synthesis and transformation : 5th International Workshop, LOPSTR’95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings by Series: Lecture notes in computer science ; 1048
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 LOP95 .

Programación Lógica by
Material type: Text Text; Literary form: Not fiction
Publication details: 2014
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P1240902_14E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

The logic of proofs as a foundation for certifying mobile computation by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

An induction-based compaction of sets of association rules among web concepts by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Efficient tone detection solutions using programmable logic devices by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Translating fork specifications into logic programs by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Programación Lógica by
Material type: Text Text; Literary form: Not fiction
Publication details: 2015
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P1540902_15E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages