Obálka

Logic on finite structures and logic programming

Podrobná bibliografia
Hlavný autor:	Rongemont, Michel de (Autor)
Médium:	Článok
Jazyk:	angličtina
Fyzický popis:	Res. angl., rus., lit. 14 zázn. v angl.
Predmet:	logické programovanie logika Prolog (programovací jazyk) články z novín a časopisov

Podobné exempláre

From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu
Autor: Fiby, Rudolf, 1946-2014, a ďalší

Computing with logic. Logic programming with Prolog
Autor: Móri, Imrich, a ďalší

Logic programming 86
Autor: Blaško, Roman, a ďalší

Several formal systems of the logic programming
Autor: Mints, Grigorii Efroimovich, a ďalší

Logic programming for parallel computers
Autor: Brezány, Peter, 1948-, a ďalší