Search Results - "一阶逻辑" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

SMT求解技术简述

by 金继伟, 马菲菲, 张健
Published in 计算机科学与探索 (2015)

Get full text

Journal Article

Cover Image

一种动态多维空间访问控制方法

Year of Publication 08.03.2022

Get full text

Patent

Cover Image

Road intersection traffic management method based on first-order logic language

by WANG JIAJIA, DONG HONGHUI, LI WEI, OU FAN
Year of Publication 14.05.2024

Get full text

Patent