Design supported by many-sorted first-order logic constraints with aggregate operators

Simple view

Full metadata view

Authors

Statistics

2017

journal article

article

Journal

Machine Dynamics Research

14

Author

Palacz Wojciech

Volume

41

Issue

4

Pages

43-50

ISSN

2080-9948

Keywords in English

design requirements

design support system

constraints

many-sorted first-order logic

aggregate functions

URL

Access date

2018-08-27

Language

English

Container language

English

dc.affiliation	Wydział Fizyki, Astronomii i Informatyki Stosowanej : Zakład Projektowania i Grafiki Komputerowej	pl
dc.contributor.author	Palacz, Wojciech - 102423	pl
dc.date.accession	2018-08-27	pl
dc.date.accessioned	2018-08-29T10:22:26Z
dc.date.available	2018-08-29T10:22:26Z
dc.date.issued	2017	pl
dc.date.openaccess	0
dc.description.accesstime	w momencie opublikowania
dc.description.number	4	pl
dc.description.physical	43-50	pl
dc.description.version	ostateczna wersja wydawcy
dc.description.volume	41	pl
dc.identifier.issn	2080-9948	pl
dc.identifier.project	ROD UJ / O	pl
dc.identifier.uri	https://ruj.uj.edu.pl/xmlui/handle/item/56521
dc.identifier.weblink	http://mdr.simr.pw.edu.pl/index.php/MDR/issue/viewIssue/32/10	pl
dc.language	eng	pl
dc.language.container	eng	pl
dc.rights	Dodaję tylko opis bibliograficzny	*
dc.rights.licence	OTHER
dc.rights.uri		*
dc.share.type	otwarte czasopismo
dc.subject.en	design requirements	pl
dc.subject.en	design support system	pl
dc.subject.en	constraints	pl
dc.subject.en	many-sorted first-order logic	pl
dc.subject.en	aggregate functions	pl
dc.subtype	Article	pl
dc.title	Design supported by many-sorted first-order logic constraints with aggregate operators	pl
dc.title.journal	Machine Dynamics Research	pl
dc.type	JournalArticle	pl
dspace.entity.type	Publication

Affiliations

Wydział Fizyki, Astronomii i Informatyki Stosowanej

Palacz, Wojciech

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

No access