2025-02-23T18:01:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-4138%22&qt=morelikethis&rows=5
2025-02-23T18:01:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-4138%22&qt=morelikethis&rows=5
2025-02-23T18:01:08-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T18:01:08-05:00 DEBUG: Deserialized SOLR response
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
The derivable rules of axiomatic extensions of sequent calculi with structural rules for the prepositional finitely valued logics with an equality determinant are analyzed with the use of methods of logic programming.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2008
|
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/4138 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!