Loading...

QR Code

Techniques of PROLOG programming with implementation of logical negation and quantified goals /

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Van Le, T.
Format:	Thesis Bog
Sprog:	engelsk
Udgivet:	New York : Wiley, c1993.
Fag:	PROLOG (Computer programme language) Negation (Logic)
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Prolog applications /
af: Schmitter, E. D.
Udgivet: (1987)

Negation and control in PROLOG /
af: Naish, Lee, 1960-
Udgivet: (1986)

The negative : exposure and development /
af: Adams, Ansel
Udgivet: (1948)

The implementation of Prolog /
af: Boizumault, Patrice, 1959-
Udgivet: (1993)

Implementations of Prolog
Udgivet: (1984)

The negative
af: Adams, Ansel, 1902-
Udgivet: (1981)

Programming in Prolog /
af: Clocksin, W. F. (William F.), 1955-
Udgivet: (1987)

Programming in Prolog
af: Clocksin, W. F. (William F.), 1955-
Udgivet: (1985)

Programming in Prolog /
af: Clocksin, W. F. (William F.), 1955-

Prolog: programming for tomorrow /
af: Doores, J.
Udgivet: (1987)

Micro-PROLOG programming in logic
af: Clark, K. L. (Keith L.)
Udgivet: (1984)

The art of Prolog : advanced programming techniques /
af: Sterling, Leon
Udgivet: (1986)

Prolog /
Udgivet: (1986)

Prolog programming and applications /
af: Burnham, W. D.

Turbo Prolog : features for programmers /
af: Nath, Sanjiva K.
Udgivet: (1986)

Programming in micro-PROLOG made simple /
af: Hepburn, P. H.
Udgivet: (1986)

Programming in micro-PROLOG
af: De Saram, Hugh, 1946-
Udgivet: (1985)

Start problem-solving with Prolog
af: Conlon, Tom, 1954-
Udgivet: (1985)

Artificial intelligence techniques in Prolog /
af: Shoham, Yoav
Udgivet: (1994)

Beginning micro-PROLOG
af: Ennals, J. R. (John Richard), 1951-
Udgivet: (1984)

Developing : the negative technique /
af: Jacobson, Kurt I.
Udgivet: (1972)

Prolog and expert systems /
af: Bowen, Kenneth A.
Udgivet: (1991)

A PROLOG database system /
af: Li, Deyi, 1944-
Udgivet: (1984)

Logic programming /
Udgivet: (1982)

Digital system design using programmable logic devices /
af: Lala, Parag K., 1948-
Udgivet: (1990)

The elements of logic /
af: Barker, Stephen Francis
Udgivet: (1974)

Fundamentals of logic /
af: Carney, James Donald
Udgivet: (1974)

Logic and structure
af: Dalen, D. van (Dirk van), 1932-
Udgivet: (1980)

Electronic logic systems /
af: Almaini, A. E. A., 1945-
Udgivet: (1986)

The range of epistemic logic
af: Schlesinger, George N.
Udgivet: (1985)

Digital logic techniques principles and practice
af: Stonham, T. J.
Udgivet: (1984)

Digital logic techniques : principles and practice /
af: Stonham, J. T.
Udgivet: (1987)

Equational logic as a programming language
af: O'Donnell, Michael J., 1952-
Udgivet: (1985)

Logic and structure
af: Dalen, D. van (Dirk), 1932-
Udgivet: (1983)

Computer logic : principles and techniques /
af: Hutchison, David, M. Tech
Udgivet: (1987)

Matrix logic /
af: Stern, August
Udgivet: (1988)

Algebraizable logics /
af: Blok, W. J., 1947-
Udgivet: (1989)

Logic design and computer organization /
af: Lewin, Morton H.
Udgivet: (1983)

Screen input/output programming techniques using Turbo Pascal /
af: Stuart, Andy
Udgivet: (1987)

Electronic logic circuits /
af: Gibson, J. R.
Udgivet: (1983)