- Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe
Object's details: Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe
PDF
Description
- Title:
- Creator:
- Subject and Keywords: ;
- Subject Headings: ;
- Description:
- Publisher:
- Place of publishing:
- Date:
- Resource Type:
- Format:
- Resource Identifier: oai:www.sbc.org.pl:88111
- Source:
- Language:
- Oryginal in:
- Rights:
Object is located in the collections:
Additional information
- Creation date: 2014-02-18
- Last modification date: 2024-10-09
- Content object's number of views: 1589
- You could also download the object's description in these formats: ;
- Historical Text Recognition:
See also
A Gentle Guide to Constraint Logic Programming via ECLiPSe
Creator:Niederliński, Antoni
Date:2014
Type:monografia
Krótki rys logiki wraz z iey historyą
Creator:Jankowski, Józef Emanuel (1790-1847)
Date:1822
Type:opracowanie historyczne
Katechismus der Logik
Creator:Kirchner, Friedrich (1848-1900)
Date:1881
Type: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
Creator:Bizoń, Mieczysław (1885-1953)
Date:1946
Type:książka
Logika. Wstęp do popularnego zarysu logiki teoretycznej jako studium przygotowawcze do logiki - czynu rzemieślniczo-przemysłowego
Creator:Bizoń, Mieczysław (1885-1953)
Date:1945
Type:podręcznik
Łączona logika epistemiczna i deontyczna w modelowaniu procesów biznesowych
Creator:Kędzierski, Stanisław
Date:2014
Type:czasopismo
Contributor: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]
Creator:Jan z Głogowa (ok. 1445-1507)
Date:4 VI 1511
Type:starodruk
Joining agile with unified process in order to improve software quality
Creator:Zadora, Piotr
Date:2014
Type:czasopismo
Contributor:Pańkowska, Małgorzata. Red.; Sroka, Henryk (1939- ). Red.; Palonka, Joanna. Red.