- Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe
Szczegóły obiektu: Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe
PDF
Opis
- Tytuł:
- Autor:
- Temat i słowa kluczowe: ;
- Hasło przedmiotowe: ;
- Opis:
- Wydawca:
- Miejsce wydania:
- Data wydania:
- Typ zasobu:
- Format:
- Identyfikator zasobu: ; oai:www.sbc.org.pl:88111
- Źródło:
- Język:
- Lokalizacja oryginału:
- Prawa:
Obiekt znajduje się w kolekcjach:
Informacje dodatkowe
- Data utworzenia: 2014-02-18
- Data ostatniej modyfikacji: 2024-10-09
- Liczba wyświetleń treści obiektu: 1590
- Możesz również pobrać opis tego obiektu w formatach: ;
- Rozpoznawanie Tekstów Historycznych:
Zobacz także
A Gentle Guide to Constraint Logic Programming via ECLiPSe
Twórca:Niederliński, Antoni
Data:2014
Typ:monografia
Krótki rys logiki wraz z iey historyą
Twórca:Jankowski, Józef Emanuel (1790-1847)
Data:1822
Typ:opracowanie historyczne
Katechismus der Logik
Twórca:Kirchner, Friedrich (1848-1900)
Data:1881
Typ:książka
Geneza logiki : dla inżynierów, techników i innych zawodów w 10-ciu lekcjach odbytych z prof. Janem Łukasiewiczem w Warszawie w czasie od 1. do 20. lipca 1942 roku
Twórca:Bizoń, Mieczysław (1885-1953)
Data:1946
Typ:książka
Logika. Wstęp do popularnego zarysu logiki teoretycznej jako studium przygotowawcze do logiki - czynu rzemieślniczo-przemysłowego
Twórca:Bizoń, Mieczysław (1885-1953)
Data:1945
Typ:podręcznik
Łączona logika epistemiczna i deontyczna w modelowaniu procesów biznesowych
Twórca:Kędzierski, Stanisław
Data:2014
Typ:czasopismo
Współtwórca:Gołuchowski, Jerzy. Red.; Frączkiewicz-Wronka, Aldona. Red.
Exercicium nove logicae seu libroru[m] prio[rum] et elencho[rum] [...] noviter eme[n]datu[m]
Twórca:Jan z Głogowa (ok. 1445-1507)
Data:4 VI 1511
Typ:starodruk
Joining agile with unified process in order to improve software quality
Twórca:Zadora, Piotr
Data:2014
Typ:czasopismo
Współtwórca:Pańkowska, Małgorzata. Red.; Sroka, Henryk (1939- ). Red.; Palonka, Joanna. Red.
