Loading…

QR Code

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

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Van Le, T.
Hōputu:	Thesis Pukapuka
Reo:	Ingarihi
I whakaputaina:	New York : Wiley, c1993.
Ngā marau:	PROLOG (Computer programme language) Negation (Logic)
Tags:	Tāpirihia he Tūtohu No Tags, Be the first to tag this record!

Ngā tūemi rite

Prolog applications /
mā: Schmitter, E. D.
I whakaputaina: (1987)

Negation and control in PROLOG /
mā: Naish, Lee, 1960-
I whakaputaina: (1986)

The negative : exposure and development /
mā: Adams, Ansel
I whakaputaina: (1948)

The implementation of Prolog /
mā: Boizumault, Patrice, 1959-
I whakaputaina: (1993)

Implementations of Prolog
I whakaputaina: (1984)

The negative
mā: Adams, Ansel, 1902-
I whakaputaina: (1981)

Programming in Prolog /
mā: Clocksin, W. F. (William F.), 1955-
I whakaputaina: (1987)

Programming in Prolog
mā: Clocksin, W. F. (William F.), 1955-
I whakaputaina: (1985)

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

Prolog: programming for tomorrow /
mā: Doores, J.
I whakaputaina: (1987)

Micro-PROLOG programming in logic
mā: Clark, K. L. (Keith L.)
I whakaputaina: (1984)

The art of Prolog : advanced programming techniques /
mā: Sterling, Leon
I whakaputaina: (1986)

Prolog /
I whakaputaina: (1986)

Prolog programming and applications /
mā: Burnham, W. D.

Turbo Prolog : features for programmers /
mā: Nath, Sanjiva K.
I whakaputaina: (1986)

Programming in micro-PROLOG made simple /
mā: Hepburn, P. H.
I whakaputaina: (1986)

Programming in micro-PROLOG
mā: De Saram, Hugh, 1946-
I whakaputaina: (1985)

Start problem-solving with Prolog
mā: Conlon, Tom, 1954-
I whakaputaina: (1985)

Artificial intelligence techniques in Prolog /
mā: Shoham, Yoav
I whakaputaina: (1994)

Beginning micro-PROLOG
mā: Ennals, J. R. (John Richard), 1951-
I whakaputaina: (1984)

Developing : the negative technique /
mā: Jacobson, Kurt I.
I whakaputaina: (1972)

Prolog and expert systems /
mā: Bowen, Kenneth A.
I whakaputaina: (1991)

A PROLOG database system /
mā: Li, Deyi, 1944-
I whakaputaina: (1984)

Logic programming /
I whakaputaina: (1982)

Digital system design using programmable logic devices /
mā: Lala, Parag K., 1948-
I whakaputaina: (1990)

The elements of logic /
mā: Barker, Stephen Francis
I whakaputaina: (1974)

Fundamentals of logic /
mā: Carney, James Donald
I whakaputaina: (1974)

Logic and structure
mā: Dalen, D. van (Dirk van), 1932-
I whakaputaina: (1980)

Electronic logic systems /
mā: Almaini, A. E. A., 1945-
I whakaputaina: (1986)

The range of epistemic logic
mā: Schlesinger, George N.
I whakaputaina: (1985)

Digital logic techniques principles and practice
mā: Stonham, T. J.
I whakaputaina: (1984)

Digital logic techniques : principles and practice /
mā: Stonham, J. T.
I whakaputaina: (1987)

Equational logic as a programming language
mā: O'Donnell, Michael J., 1952-
I whakaputaina: (1985)

Logic and structure
mā: Dalen, D. van (Dirk), 1932-
I whakaputaina: (1983)

Computer logic : principles and techniques /
mā: Hutchison, David, M. Tech
I whakaputaina: (1987)

Matrix logic /
mā: Stern, August
I whakaputaina: (1988)

Algebraizable logics /
mā: Blok, W. J., 1947-
I whakaputaina: (1989)

Logic design and computer organization /
mā: Lewin, Morton H.
I whakaputaina: (1983)

Screen input/output programming techniques using Turbo Pascal /
mā: Stuart, Andy
I whakaputaina: (1987)

Electronic logic circuits /
mā: Gibson, J. R.
I whakaputaina: (1983)