Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

Tytuł: Automated realization of Boolean algebra theorems in the simplification of logical expressions

Autor:

Szajna, Janusz

Data wydania:

1993

Typ zasobu:

artykuł

Współtwórca:

Caban, Dariusz - red.

Tytuł publikacji grupowej:

AMCS, volume 3 (1993)

Abstract:

This paper presents an approach to the automation of symbolic transformation and simplification of complex logical expressions. The transformation is performed with the aid of Prolog - one of the two programming languages being used for artificial intelligence. Due to the declarative nature of Prolog the specification of a particular theorem together with its variations becomes its realization at the same time. Moreover, each predicate is a direct reflection of a heuristic way of the expressions transformations, written in Prolog convention.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:57299

Strony:

383-392

Źródło:

AMCS, volume 3, number 2 (1993) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego

Temat i słowa kluczowe:

sterowanie sterowanie-teoria sztuczna inteligencja matematyka stosowana informatyka

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2021-09-01

Data dodania obiektu:

2020-07-07

Liczba wyświetleń treści obiektu:

49

Wszystkie dostępne wersje tego obiektu:

https://www.zbc.uz.zgora.pl/publication/63833

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Automated realization of Boolean algebra theorems in the simplification of logical expressions 2021-09-01

Obiekty

Podobne
AMCS, Volume 16 (2006)
AMCS, Volume 16 (2006)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 16, number 1 (2006) - spis treści

Korbicz, Józef - red.

2006
artykuł
AMCS, Volume 22 (2012)
AMCS, Volume 22 (2012)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 22, number 2 (2012) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2012
artykuł
AMCS, Volume 22 (2012)
AMCS, Volume 22 (2012)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 22, number 3 (2012) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2012
artykuł
AMCS, Volume 21 (2011)
AMCS, Volume 21 (2011)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 21, number 2 (2011) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2011
artykuł
AMCS, Volume 20 (2010)
AMCS, Volume 20 (2010)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 20, number 1 (2010) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2010
artykuł
AMCS, Volume 21 (2011)
AMCS, Volume 21 (2011)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 21, number 1 (2011) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2011
artykuł
AMCS, Volume 21 (2011)
AMCS, Volume 21 (2011)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 21, number 3 (2011) - spis treści

Korbicz, Józef - red. Uciński, Dariusz - red.

2011
artykuł
AMCS, Volume 15 (2005)
AMCS, Volume 15 (2005)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 15, number 4 (2005) - spis treści

Beliczyński, Bartłomiej - red.

2005
artykuł
Więcej

Dane kontaktowe

Adres

Biblioteka Uniwersytetu
Zielonogórskiego
al. Wojska Polskiego 71
65-762 Zielona Góra

Telefon

(+48) 68 328 21 55

E-Mail

kontakt@zbc.uz.zgora.pl

Wojewódzka i Miejska Biblioteka Publiczna
im. C. Norwida w Zielonej Górze
al. Wojska Polskiego 9
65-077 Zielona Góra

(+48) 68 453 26 06

p.karp@biblioteka.zgora.pl

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji