Szymanik, Jakub Krzysztof
Szymanik, Jakub Krzysztof
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.046 secondi).
Algorithmic Theory of Meaning
2016-01-01 Szymanik, J.
Basic Generalized Quantifier Theory
2016-01-01 Szymanik, J.
Branching Quantifiers
2016-01-01 Szymanik, J.
Cognitive Processing of Quantifiers
2016-01-01 Szymanik, J.
Complexity in Linguistics
2016-01-01 Szymanik, J.
Complexity of Collective Quantification
2016-01-01 Szymanik, J.
Complexity of Polyadic Quantifiers
2016-01-01 Szymanik, J.
Complexity of Quantified Reciprocals
2016-01-01 Szymanik, J.
Computing Simple Quantifiers
2016-01-01 Szymanik, J.
Conclusions
2016-01-01 Szymanik, J.
Erratum to: Quantifiers and Cognition: Logical and Computational Perspectives
2016-01-01 Szymanik, J.
Logic and Complexity in Cognitive Science
2014-01-01 Isaac, A. M. C.; Szymanik, J.; Verbrugge, R.
Standard Polyadic Lifts
2016-01-01 Szymanik, J.
Tractability and the computational mind
2018-01-01 Szymanik, J.; Verbrugge, R.
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Algorithmic Theory of Meaning | 1-gen-2016 | Szymanik, J. | |
Basic Generalized Quantifier Theory | 1-gen-2016 | Szymanik, J. | |
Branching Quantifiers | 1-gen-2016 | Szymanik, J. | |
Cognitive Processing of Quantifiers | 1-gen-2016 | Szymanik, J. | |
Complexity in Linguistics | 1-gen-2016 | Szymanik, J. | |
Complexity of Collective Quantification | 1-gen-2016 | Szymanik, J. | |
Complexity of Polyadic Quantifiers | 1-gen-2016 | Szymanik, J. | |
Complexity of Quantified Reciprocals | 1-gen-2016 | Szymanik, J. | |
Computing Simple Quantifiers | 1-gen-2016 | Szymanik, J. | |
Conclusions | 1-gen-2016 | Szymanik, J. | |
Erratum to: Quantifiers and Cognition: Logical and Computational Perspectives | 1-gen-2016 | Szymanik, J. | |
Logic and Complexity in Cognitive Science | 1-gen-2014 | Szymanik J. + | |
Standard Polyadic Lifts | 1-gen-2016 | Szymanik, J. | |
Tractability and the computational mind | 1-gen-2018 | Szymanik J. + |