Showing
1 - 2
results of
2
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "金继伟"
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
SMT求解技术简述
by
金继伟
,
马菲菲
,
张健
Published in
计算机科学与探索
(2015)
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
Integrating Standard Dependency Schemes in QCSP Solvers
by
金继伟
马菲菲 张健
Published in
Journal of computer science and technology
(2012)
Get full text
Journal Article
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Journal Article
2 results
2
Subject Area
computer science
1 results
1
Topic
analysis
1 results
1
artificial intelligence
1 results
1
computer science
1 results
1
computer science, hardware & architecture
1 results
1
computer science, software engineering
1 results
1
csp
1 results
1
See more
Language
Chinese
1 results
1
English
1 results
1
Year of Publication
From:
To:
Database
ProQuest Technology Collection
1 results
1
SpringerLink Journals
1 results
1
SpringerLINK - Czech Republic Consortium
1 results
1
ProQuest Central
1 results
1
ROAD: Directory of Open Access Scholarly Resources (ISSN International Center)
1 results
1
SpringerLink Journals (ICM)
1 results
1
