Simple view

Full metadata view

Authors

Statistics

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

2017
journal article
article
Journal
Machine Dynamics Research
14
Author
Palacz Wojciech
Volume
41
Number
4
Pages
43-50
ISSN
2080-9948
Keywords in English

design requirements

design support system

constraints

many-sorted first-order logic

aggregate functions

URL
http://mdr.simr.pw.edu.pl/index.php/MDR/issue/viewIssue/32/10
Access date
2018-08-27
Language
English
Journal language
English
Affiliation
Wydział Fizyki, Astronomii i Informatyki Stosowanej : Zakład Projektowania i Grafiki Komputerowej
dc.affiliationWydział Fizyki, Astronomii i Informatyki Stosowanej : Zakład Projektowania i Grafiki Komputerowejpl
dc.contributor.authorPalacz, Wojciech - 102423 pl
dc.date.accession2018-08-27pl
dc.date.accessioned2018-08-29T10:22:26Z
dc.date.available2018-08-29T10:22:26Z
dc.date.issued2017pl
dc.date.openaccess0
dc.description.accesstimew momencie opublikowania
dc.description.number4pl
dc.description.physical43-50pl
dc.description.versionostateczna wersja wydawcy
dc.description.volume41pl
dc.identifier.issn2080-9948pl
dc.identifier.projectROD UJ / Opl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/56521
dc.identifier.weblinkhttp://mdr.simr.pw.edu.pl/index.php/MDR/issue/viewIssue/32/10pl
dc.languageengpl
dc.language.containerengpl
dc.rightsDodaję tylko opis bibliograficzny*
dc.rights.licenceInna otwarta licencja
dc.share.typeotwarte czasopismo
dc.source.integratorfalse
dc.subject.endesign requirementspl
dc.subject.endesign support systempl
dc.subject.enconstraintspl
dc.subject.enmany-sorted first-order logicpl
dc.subject.enaggregate functionspl
dc.subtypeArticlepl
dc.titleDesign supported by many-sorted first-order logic constraints with aggregate operatorspl
dc.title.journalMachine Dynamics Researchpl
dc.typeJournalArticlepl
dspace.entity.typePublication
dc.affiliationpl
Wydział Fizyki, Astronomii i Informatyki Stosowanej : Zakład Projektowania i Grafiki Komputerowej
dc.contributor.authorpl
Palacz, Wojciech - 102423
dc.date.accessionpl
2018-08-27
dc.date.accessioned
2018-08-29T10:22:26Z
dc.date.available
2018-08-29T10:22:26Z
dc.date.issuedpl
2017
dc.date.openaccess
0
dc.description.accesstime
w momencie opublikowania
dc.description.numberpl
4
dc.description.physicalpl
43-50
dc.description.version
ostateczna wersja wydawcy
dc.description.volumepl
41
dc.identifier.issnpl
2080-9948
dc.identifier.projectpl
ROD UJ / O
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/56521
dc.identifier.weblinkpl
http://mdr.simr.pw.edu.pl/index.php/MDR/issue/viewIssue/32/10
dc.languagepl
eng
dc.language.containerpl
eng
dc.rights*
Dodaję tylko opis bibliograficzny
dc.rights.licence
Inna otwarta licencja
dc.share.type
otwarte czasopismo
dc.source.integrator
false
dc.subject.enpl
design requirements
dc.subject.enpl
design support system
dc.subject.enpl
constraints
dc.subject.enpl
many-sorted first-order logic
dc.subject.enpl
aggregate functions
dc.subtypepl
Article
dc.titlepl
Design supported by many-sorted first-order logic constraints with aggregate operators
dc.title.journalpl
Machine Dynamics Research
dc.typepl
JournalArticle
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.

Views
1
Views per month
Views per city
Shanghai
1

No access

No Thumbnail Available
Collections
Research publications
ROD UJ