Bücher — Prolog

RU
Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

KI und ML
EN
Eine Einführung in die logische Programmierung mit Prolog

Eine Einführung in die logische Programmierung mit Prolog

A

Michael Spivey

Programmiersprachen
RU
Algorithmen der künstlichen Intelligenz in PROLOG

Algorithmen der künstlichen Intelligenz in PROLOG

B

Иван Братко

Algorithmen und Theorie
EN
Logik für Programmierer

Logik für Programmierer

A

Hillel Wayne

Datenbanken
EN
Problemlösung mit Prolog

Problemlösung mit Prolog

A

John Stobo

Programmiersprachen
EN
Die ersten 10 Prolog-Programmierwettbewerbe

Die ersten 10 Prolog-Programmierwettbewerbe

A

Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon

Programmiersprachen
RU
Entwurf von Systemen der künstlichen Intelligenz

Entwurf von Systemen der künstlichen Intelligenz

A

С.Л. Сотник

Algorithmen und Theorie
RU
Rekursive logische Programmierung 2013 Cherkashin E A

Rekursive logische Programmierung 2013 Cherkashin E A

D

Е. А. Черкашин

Programmiersprachen
RU
Grundlagen der künstlichen Intelligenz

Grundlagen der künstlichen Intelligenz

A

Е. В. Боровская, Н. А. Давыдова

KI und ML
RU
Modelle, Methoden, Algorithmen und Softwarelösungen für Rechenmaschinen, Komplexe und Systeme

Modelle, Methoden, Algorithmen und Softwarelösungen für Rechenmaschinen, Komplexe und Systeme

A

С. В. Веретехина, В. Л. Симонов, О. Л. Мнацаканян

Betriebssystem und System
RU
Diskrete Mathematik. Formale logische Systeme und Sprachen

Diskrete Mathematik. Formale logische Systeme und Sprachen

A

С. М. Авдошин, А. А. Набебин

Algorithmen und Theorie
RU
Einführung in die logische Programmierung

Einführung in die logische Programmierung

A

Майкл Дженесерет, Винай К. Чаудри

Programmiersprachen